On Sun, Jun 26, 2016 at 09:27:57AM +0200, Petter Reinholdtsen wrote: > > Andreas, while I wait for a reply from the release managers, it would be > great to know the answer to this question: > > [Petter Reinholdtsen] > > OK to push it to the collab-maint git repo before upload, or should I > > wait until it is accepted?
If you strongly expect it to be accepted as it is, then push it. Or wait with tagging until it is accepted. Moving tags and releases that aren't releases after all is something I'd like to avoid.
