On Mon, Aug 13, 2012 at 1:57 PM, Heikki Linnakangas
<heikki.linnakangas@enterprisedb.com> wrote:
> On 13.08.2012 15:22, Dave Page wrote:
>>
>> Heikki; please try forcing the delete, and let us know if it works OK.
>> I've CC'd Sachin and Ashesh who can drop the old branch from the
>> installer build machines for 8.x and 9.0/9.1.
>
>
> Ah, I tried forcing the push, didn't help, I got "[remote rejected] PRE_9_2
> -> PRE_9_2 (non-fast-forward)" error.
>
> However, I succeeded by pushing it in two steps. First, I deleted the branch
> with "git push origin :PRE_9_2", and then pushed it again with "git push
> origin PRE_9_2". So, it's done now.
Thanks. Sachin/Ashesh - I guess we probably need to forcibly update
the branch on the build servers (or just delete the tree, and let the
build script check it out again). Can one of you see to that please?
--
Dave Page
Blog: http://pgsnake.blogspot.com
Twitter: @pgsnake
EnterpriseDB UK: http://www.enterprisedb.com
The Enterprise PostgreSQL Company