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

Reply via email to