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.


Knute Snortum
(via Gmail)


On Wed, May 14, 2014 at 11:00 AM, Felix Janda <felix.ja...@posteo.de> wrote:

> git reset --hard should be able to fix up your master. Then make
> new topic branches and git-cherry-pick your work into them. Then make
> new pull-requests and close the old ones. (Can you really not do this
> yourself? If not you could still add a comment to the pull-request.)
>
> Felix
>
_______________________________________________
Mutopia-discuss mailing list
Mutopia-discuss@mutopiaproject.org
http://lists.bcn.mythic-beasts.com/mailman/listinfo/mutopia-discuss

Reply via email to