Re: what should patchy do for staging?

[David Kastrup]

Graham Percival <address@hidden> writes:

> On Thu, Nov 10, 2011 at 11:56:30PM +0100, David Kastrup wrote:
>> Let's take the "David, I tested dev/staging at commit 43214314xxxxxx,
>> and it's fine" mail scenario.
>
> David, I ran Patchy, and it built commit
> cd229915fc873fdb6fd0125827452cb0ba0067a7 and it's fine.
>
> Patchy has printed out the
> -----
> push merge:
> (do this manually for debugging/testing)
>         git push origin HEAD:master
> -----
>
> message, but will let you do the actual pushing if you agree that
> cd229915fc873fdb6fd0125827452cb0ba0067a7 was the right thing to
> test.

Yes, this was right to test, and if HEAD at the time Patchy suggested
pushing it was cd229915fc873fdb6fd0125827452cb0ba0067a7, it would have
done right.  I am pushing it myself presently.  We now know that Patchy
will not do anything imprudent if master has not moved independently.

The next scenario we can test if _only_ master has moved (in which case
it might be possible to fastforward dev/staging and test it, even though
pushing the result would be a noop).  I have a patch here that is fine
enough, but have to fend for breakfast soon.  Probably back in 1h20.

-- 
David Kastrup