On Sun, Mar 16, 2008 at 5:29 PM, Michael Biebl <[EMAIL PROTECTED]> 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 _______________________________________________ Pm-utils mailing list [email protected] http://lists.freedesktop.org/mailman/listinfo/pm-utils
