On Tue, 2017-10-10 at 12:31 +0200, Bertrand Delacretaz wrote: > On Tue, Oct 10, 2017 at 12:26 PM, Robert Munteanu <romb...@apache.org > > wrote: > > ...Together with Konrad's notes on the Maven release plugin this > > makes a > > pretty strong case for using gitbox as the canonical URL > > everywhere... > > But we do other things much more often than releases, so it's hard to > give up the convenience... > > I don't have a better suggestion right now but I'm sure we can find a > convenient way to use GitHub for day-to-day work and gitbox for > releases. A Maven profile maybe? > > -Bertrand
It should be fine to clone from and push to GitHub, but release from GitBox. After all, the commit hashes are the same and tags will be propagated to GitBox instantaneously. Or at least we'll know once we run the first release :-) Robert