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 <> 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

Reply via email to