On Fri, 8 Jul 2016, Dima Pasechnik wrote:
for some reason trac is already on 7.3.beta7 (and with it the automerge fails)
Now beta7 is released, but the branch is still red.
And I was not able to push another patch:
STDERR: error: failed to push some refs to 'g...@trac.sagemath.org:sage.git'
STDERR: hint: Updates were rejected because a pushed branch tip is behind
its remote
STDERR: hint: counterpart. Check out this branch and integrate the remote
changes
--
Jori Mäntysalo
