Re: Patchy email from PhilH

[David Kastrup]

"Phil Holmes" <address@hidden> writes:

> I'm always a little nervous about simply deleting staging, although I
> know this is the correct approach.  David - could you give me the
> commands needed to delete and recreate staging, please?  (Private mail
> if you don't want everyone to try this out).

Everyone does not have push access.  Those that have will hopefully know
better than to do crazy experiments.

First do something like
git fetch
git log -3 origin/staging

to be really, really sure what commit you want to have in staging rather
than the one that currently is there, and that you are sure that you
will only lose your own commit and nothing else.  Then do

git push origin :staging
git push origin commit-id-that-you-actually-wanted:refs/heads/staging

The first line deletes the staging branch, the second reestablishes it.

-- 
David Kastrup