On Mon, 2020-06-15 at 12:22 +0100, David Bosschaert wrote: > And I agree with Robert that it would be good to look inside the code > as > well.
All changes have pros and cons. Let's please make sure that changing the default git remote name is not a net negative due to the effort it includes: - asking INFRA to change the default remote for 200+ repositories ( gitbox and github? ) - adjusting Jenkins tooling (and potentially Jenkins jobs) - evaluating whether we need to change something in SonarCloud - updating the 'repo' setup - updating documentation - asking everyone to update their local checkouts - needing to rebase (or drop!) existing PRs There may be others. Let's please start by collecting all the required changes in a wiki page and seeing whether we have consensus on the change and whether we think it has a positive impact for the project. Thanks, Robert
