Github git: Difference between revisions
From wikinotes
No edit summary |
|||
Line 7: | Line 7: | ||
= Find PR from commit = | = Find PR from commit = | ||
<blockquote> | |||
<source lang="bash"> | <source lang="bash"> | ||
git log --merges --ancestry-path --oneline 9c34e5f6af..master \ | git log --merges --ancestry-path --oneline 9c34e5f6af..master \ | ||
Line 21: | Line 22: | ||
</source> | </source> | ||
</blockquote><!-- | </blockquote><!-- Find PR from commit --> | ||
= Github push/pull with SSH key = | = Github push/pull with SSH key = |
Revision as of 15:35, 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.