[Pm-utils] Development flow and fd.o git repo

[Dan Nicholson]

On Sun, Mar 16, 2008 at 5:29 PM, Michael Biebl <mbiebl at gmail.com> wrote:
>
>  Can I undo those two last commits somehow?

To delete a remote branch, push "nothing" to it:

git push origin :pmu

Since you didn't specify any branch on the local side (left of the
colon), you will push nothing to the branch and it will be deleted.
For undoing commits in the public repo, you should just push new
commits which revert. You really don't want to rewind a public repo
since it will screw up everyone else's repo the next time they pull.

--
Dan