Re: BUG #6722: Debugger broken?

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.

--
   Heikki Linnakangas
   EnterpriseDB   http://www.enterprisedb.com