Summary says it all. Would be nice (but not essential) if the old location was redirected to the new one for some transition period.
CC-ing infra to figure out what kind of redirects would be possible to set up.
(In reply to Michał Górny from comment #1) > CC-ing infra to figure out what kind of redirects would be possible to set > up. As I said above, redirection isn't essential. So please don't delay things because of this.
Well, I've looked through gitolite manual and doesn't look like it could even print a message for the repository. I guess disabling the old one would be best then, so people get an error and try to figure it out. @Overlays, please proceed.
remote: Initialized empty Git repository in /var/gitroot/repo/proj/emacs.git/ Please push the old content to the new repository, then update repositories.xml (preferably yourself ;-)).
(In reply to Michał Górny from comment #4) > Please push the old content to the new repository, then update > repositories.xml (preferably yourself ;-)). Both done.