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