Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
devtools: show pull and commit information in github-merge #7395
On Friday, 22 January 2016, Jonas Schnelli email@example.com wrote:
Edit: OH, that's a patch to the python version already and independent of this, I'll just merge that too.