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.
