On Thu, 13 Aug 2015 09:12:30 +0200 Michał Górny wrote: > Hi, > > Now that we have the official git repository, I've switched user-facing > git mirrors from rsync->git to the real git. As a result, users are now > complaining that some random Gentoo metadata has disappeared. > > As you may have noticed already, I am *really* unhappy about adding > special conditionals with hardcoded URLs (and ugly mixing stuff) for > Gentoo. So if you really don't want to put the stuff into the repo, > please at least:
IMO the best way will be to put mandatory stuff in the repo/gentoo.git. > 1. Move DTDs to a git repository (seriously, I don't want to have to > touch CVS). > > 2. Strip the year from gentoo-news [1]. I think we have all > the agreement to proceed there. I will prepare a GLEP update today, > and if given OK, I can update the repo, and the scripts. > > 3. Provide a machine-readable description where those files/directories > come from. Not sure how that should look but how about something along > the lines of repos.conf: > > metadata/external-repos.conf:: > > [gentoo-news] > location = metadata/news > sync-type = git > sync-uri = https://anongit.gentoo.org/proj/gentoo-news.git > > [herds] > location = metadata/herds.xml > # or do we want to use git here? > sync-type = http > sync-uri = https://api.gentoo.org/packages/herds.xml > > Comments? > > [1]:https://bugs.gentoo.org/show_bug.cgi?id=523828 > Best regards, Andrew Savchenko
pgpNLZPekZdtL.pgp
Description: PGP signature
