On Sat, Apr 11, 2020 at 11:36 AM Ben Cooksley <bcooks...@kde.org> wrote: > > Should anyone have any questions on the above, please let us know. >
Does the migration also mean that `git.kde.org` push URL will be retired and would need to be remapped to `invent.kde.org`? In that case, it would be good to have a grace period after the initial migration to Gitlab so kdesrc-build (etc.) could be updated before the cut off date to perform this migration automatically for the user. I expect such a grace period would not need to last very long because the feature would be trivial to implement. Regards, - Johan