On Tue, Oct 10, 2017 at 12:26 PM, Robert Munteanu <[email protected]> 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

Reply via email to