On Fri, 22 Sep 2023, Siddhanth Rathod wrote:
I'm writing to propose the creation of a universal remote-ID file
within the api.git or gentoo.git in the metadata/ directory.
Currently, we have eight different locations that require manual
updates for any future changes, including my recent commit (https://gitweb.gentoo.org/proj/gentoolkit.git/commit/?id=5146d35eb97e2c1a8f7691e59c755ed14e858dd4)
to gentoolkit and the rest seven as mentioned here https://wiki.gentoo.org/wiki/Project:Quality_Assurance/Upstream_remote-id_types.
By establishing a universal remote-ID file, we can streamline this
process. Your thoughts and feedback on this proposal would be greatly appreciated.Also, Any preferences on format?
By establishing a universal remote-ID file, we can streamline this
process. Your thoughts and feedback on this proposal would be greatly appreciated.Also, Any preferences on format?
[[PGP Signed Part:Undecided]]
On Fri, 22 Sep 2023, Siddhanth Rathod wrote:
I'm writing to propose the creation of a universal remote-ID file
within the api.git or gentoo.git in the metadata/ directory.
Currently, we have eight different locations that require manual
updates for any future changes, including my recent commit
(https://gitweb.gentoo.org/proj/gentoolkit.git/commit/?id=5146d35eb97e2c1a8f7691e59c755ed14e858dd4)
to gentoolkit and the rest seven as mentioned here
https://wiki.gentoo.org/wiki/Project:Quality_Assurance/Upstream_remote-id_types.
By establishing a universal remote-ID file, we can streamline this
process. Your thoughts and feedback on this proposal would be greatly
appreciated.Also, Any preferences on format?
My preference would be a simple text file with a table, similar to files/uid-gid.txt in api.git. Then we could just modify the existing
tooling to generate the wiki page form it, and wouldn't need any special tools to create the other files.
Alternatively, it could be in XML. While I'm not a large fan of XML, it
seems a natural choice here, because metadata.xml, the DTD, and the XML
and Relax-NG schemas are all from the XML world.
Ulrich
At the moment, we bundle the DTD in pkgcore. If we just shoved it in metadata/ instead in the main repo, we don't have that kind of problem.
Michael Orlitzky <[email protected]> writes:
On Sat, 2023-09-23 at 00:10 +0530, Siddhanth Rathod wrote:
By establishing a universal remote-ID file, we can streamline this
process. Your thoughts and feedback on this proposal would be greatly
appreciated.Also, Any preferences on format?
Building the wiki page isn't too hard, but what's the plan to propagate changes into those seven other repositories? If we're still
copy/pasting the output of some tool, then we haven't really saved a
step, we've only changed what we're copy/pasting.
At the moment, we bundle the DTD in pkgcore. If we just shoved it in metadata/ instead in the main repo, we don't have that kind of problem.
On Sat, 2023-09-23 at 15:39 +0100, Sam James wrote:
At the moment, we bundle the DTD in pkgcore. If we just shoved it inI might be missing something obvious, but what I mean is, suppose we
metadata/ instead in the main repo, we don't have that kind of problem.
have this plain-text mapping of remote-id names to URLs. How do we get
the list of keys (valid remote-id names) into the DTD? Even if both
files are inside metadata/, there's another step that needs to happen.
How does modifying the DTD with a git hook sound ?
| Sysop: | Keyop |
|---|---|
| Location: | Huddersfield, West Yorkshire, UK |
| Users: | 715 |
| Nodes: | 16 (2 / 14) |
| Uptime: | 152:56:54 |
| Calls: | 12,091 |
| Calls today: | 4 |
| Files: | 15,000 |
| Messages: | 6,517,662 |