diff options
| author | Ben Sima <ben@bsima.me> | 2021-03-19 22:13:48 -0400 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2021-03-19 22:13:48 -0400 |
| commit | 1ec7bb90bec47fce2558204d123b7f3df9415970 (patch) | |
| tree | be35d87595ca88d9d9c1314eac3c003cf3c23c8e /.ghci | |
| parent | 477ea9f4614a9c3d41b9d2d9ad926878f39720fe (diff) | |
Add ability to clone private repos
The strategy is to clone over https with the OAuth token:
git clone https://<user>:<oauth-token>@github.com/<user>/<repo>
Diffstat (limited to '.ghci')
0 files changed, 0 insertions, 0 deletions