How does modifying the DTD with a git hook sound ?

On 9/23/23 20:17, Michael Orlitzky wrote:

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 in
metadata/ instead in the main repo, we don't have that kind of problem.

I might be missing something obvious, but what I mean is, suppose we
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.