On Friday, 19 July 2013 at 19:35:21 UTC, Johannes Pfau wrote:
Click edit. Now you can select target repository, target branch, source repository and source branch. (This is with the new github interface)
Wow! It worked! Many thanks! Here's the result: https://github.com/quickfur/GDMD/pull/1/files
