| 1 |
Hi, |
| 2 |
|
| 3 |
Now that we have the official git repository, I've switched user-facing |
| 4 |
git mirrors from rsync->git to the real git. As a result, users are now |
| 5 |
complaining that some random Gentoo metadata has disappeared. |
| 6 |
|
| 7 |
As you may have noticed already, I am *really* unhappy about adding |
| 8 |
special conditionals with hardcoded URLs (and ugly mixing stuff) for |
| 9 |
Gentoo. So if you really don't want to put the stuff into the repo, |
| 10 |
please at least: |
| 11 |
|
| 12 |
1. Move DTDs to a git repository (seriously, I don't want to have to |
| 13 |
touch CVS). |
| 14 |
|
| 15 |
2. Strip the year from gentoo-news [1]. I think we have all |
| 16 |
the agreement to proceed there. I will prepare a GLEP update today, |
| 17 |
and if given OK, I can update the repo, and the scripts. |
| 18 |
|
| 19 |
3. Provide a machine-readable description where those files/directories |
| 20 |
come from. Not sure how that should look but how about something along |
| 21 |
the lines of repos.conf: |
| 22 |
|
| 23 |
metadata/external-repos.conf:: |
| 24 |
|
| 25 |
[gentoo-news] |
| 26 |
location = metadata/news |
| 27 |
sync-type = git |
| 28 |
sync-uri = https://anongit.gentoo.org/proj/gentoo-news.git |
| 29 |
|
| 30 |
[herds] |
| 31 |
location = metadata/herds.xml |
| 32 |
# or do we want to use git here? |
| 33 |
sync-type = http |
| 34 |
sync-uri = https://api.gentoo.org/packages/herds.xml |
| 35 |
|
| 36 |
Comments? |
| 37 |
|
| 38 |
[1]:https://bugs.gentoo.org/show_bug.cgi?id=523828 |
| 39 |
|
| 40 |
-- |
| 41 |
Best regards, |
| 42 |
Michał Górny |
| 43 |
<http://dev.gentoo.org/~mgorny/> |
Archives