On Friday, July 8, 2016 at 1:30:09 PM UTC+1, Jori Mäntysalo wrote: > > 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. >
well, have you hand-merged and pushed the update? > > And I was not able to push another patch: > > STDERR: error: failed to push some refs to > '[email protected]: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 > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
