Github git: Difference between revisions
From wikinotes
No edit summary |
No edit summary |
||
Line 5: | Line 5: | ||
</source> | </source> | ||
</blockquote><!-- Download single file --> | </blockquote><!-- Download single file --> | ||
= Find PR from commit = | |||
<source lang="bash"> | |||
git log --merges --ancestry-path --oneline 9c34e5f6af..master \ | |||
| grep 'pull request' \ | |||
| tail -n1 \ | |||
| awk '{print $5}' \ | |||
| cut -c2- \ | |||
| xargs gh pr view -w | |||
</source> | |||
<source lang="bash"> | |||
# alternatively: | |||
git describe --all --contains <commit> # returns branch name | |||
</source> | |||
</blockquote><!-- tips/tricks --> | |||
= Github push/pull with SSH key = | = Github push/pull with SSH key = |
Revision as of 15:34, 19 September 2021
Download single file
curl -O wget https://raw.githubusercontent.com/user/project/branch/filename
Find PR from commit
git log --merges --ancestry-path --oneline 9c34e5f6af..master \
| grep 'pull request' \
| tail -n1 \
| awk '{print $5}' \
| cut -c2- \
| xargs gh pr view -w
# alternatively:
git describe --all --contains <commit> # returns branch name
Github push/pull with SSH key
You'll need to change the github URL you are using.
git clone https://github.com/<Username>/<Project> # !!bad!! git clone git@github.com:<Username>/<Project> # good git clone github.com:<username>/<project> # also good (must specify user in ~/.ssh/config)You can quickly test authentication
ssh git@github.com -i ~/.ssh/github
importing existing git repo
See hosting a git http server to share with github.
You can then use that to import your project.