Created attachment 595516 [details, diff] [PATCH] repositories: flussence: update URIs Changed public hosting location, nothing else. Old mirror will stay available in read-only mode for a reasonably long duration to give users time to catch up. git-format patch for data/api.git enclosed. I couldn't find any formal procedure for this sort of thing and the only prior art seems to be bug 594758, so I hope this is good enough.
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/data/api.git/commit/?id=861dedc9233460f12534ecc4e3cb1fc6756ea8cb commit 861dedc9233460f12534ecc4e3cb1fc6756ea8cb Author: Anthony Parsons <ant+gentoo.bugs@flussence.eu> AuthorDate: 2019-11-09 06:54:09 +0000 Commit: Michał Górny <mgorny@gentoo.org> CommitDate: 2019-11-13 14:11:01 +0000 repositories: flussence: update URIs Moved from gitlab.com to repo.or.cz, no other changes. Closes: https://bugs.gentoo.org/699646 Signed-off-by: Michał Górny <mgorny@gentoo.org> files/overlays/repositories.xml | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-)
