>>> ... unfortunately, it breaks --disable-managemnt builds :-( - good that >>> we have buildbots, stupid me for not noticing it before ACK-and-push. >> I wonder if using a "staging" repo would be too much trouble? Buildbots >> could track it, and only after all builds have succeeded, the changes >> would be pushed to master. > You and David explain to me what to do, I do :-) > > (Including "how to un-push things pushed to staging if they turn out > to be non-useful") > > gert >
As long as nobody is actually using the staging repo rewriting history should not be an issue. Perhaps one could just do $ git reset --hard HEAD^1 $ git push origin master and be done with it? That said, we might not benefit much from a staging repo if we fix the problems buildbot finds quickly. Sure, the repo might not be 100% correct / functional all the time, but the impact should be fairly low compared to pushing out broken releases. Any opinions, anyone? Samuli
