That does not seem super easy to maintain, having a script to generate the content of this repo directly might be useful as an improvement. So, the conclusion is that user eager to get the latest version should build from the dedicated sub-repositories, if I understood correctly.
The bash script sedbatch, running in termux/Android, already works with git, producing zipped profiles. With a command modifier parameter, it could make the respective commit and push to the Github.
The bash script sedbatch, running in termux/Android, already works with git, producing zipped profiles. With a command modifier parameter, it could make the respective commit and push to the Github.
To be implemented. :-)