On Sun, 2023-09-24 at 23:14 +0530, Siddhanth Rathod wrote:
> How does modifying the DTD with a git hook sound ?
That could work if we put the DTD, XML schema, and RELAX NG schema all
in the repo metadata. The remaining projects are programs and (given
access to ::gentoo) can probably parse the
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
On Sat, Sep 23, 2023 at 03:39:32PM +0100, Sam James wrote:
>
> Michael Orlitzky 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
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
Michael Orlitzky 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?
>
>
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
Ulrich Mueller writes:
> [[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
> 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
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
