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