On Wed, May 14, 2014 at 11:23 AM, Knute Snortum <ksnor...@gmail.com> wrote:
> Thanks Felix, I'll try that. > > If I can close a pull request, I don't see how to on GitHub. I may just > be missing it, though. If anyone knows how to do it, please tell me. > Closing is a product of merging the pull request. I believe if you delete the branch of the pull request in your remote fork it will effectively cancel/remove the pull request. I am assuming you still have the topic branch in your local repository!
_______________________________________________ Mutopia-discuss mailing list Mutopia-discuss@mutopiaproject.org http://lists.bcn.mythic-beasts.com/mailman/listinfo/mutopia-discuss