4 ms·
>Another fun discovery is that deleting my fork of github/dmca didn't affect the PR like I thought it would Making the pr will put the branch in the target rep
by MrStonedOne 6y ago
>Another fun discovery is that deleting my fork of github/dmca didn't affect the PR like I thought it would
Making the pr will put the branch in the target repo under pull/<number>/head
the commit will forever be referenced
- davvid 6y agoIf you have a clone of the dmca repo, run: git config --add remote.origin.fetch 'refs/pull/*:refs/remotes/pull/*' git fetch origin You'll now have all of the PR refs in "remote" `pull/<number>/head` branches. git log pull/8142/head git log 416da574e