Closed karenetheridge closed 12 years ago
I'm actually just clicking on the "Merge pull request" button on github. I was assuming that actually performed the merge, does it not?
I've asked around on irc of people who handle a lot of pull requests, and they say they tend to 'git fetch' from the remote URL and then cherry-pick the commit.
I'll poke around in the github docs and see why they do it so strangely; this feels like a bug (or at least a bad implementation).
It looks like metadata isn't being lost after all - that was just my incorrect interpretation of what I was seeing in github's gui. When I view history with 'git log -p', the original commit that was merged is there, and then there is an empty merge commit on top - effectively behaving like 'git merge --no-ff'. So, false alarm! :)
I noticed that the commit information is getting lost when you merge from other repos - are you copying the patch rather than adding a remote spec and pulling the commit across to your repository?