Marking subsplit repositories for the benefit of automation tools

[fingolfin]

I just discovered that many homalg-project packages now live in two repositories, one inside a multi package repository and once in a "subsplit" repository created from the former. I have tools which I use to clone all packages in gappackages and homalg-project and a few other places. I'd like to adjust these tools to not clone the "subsplit" repositories. For this it would be helpful if my code could determine whether a repo is subsplit or not automatically.

An easy way to achieve that would be to add a common "topic" to these, e.g. "subsplit-repository". Then it's easy to filter these out.

Another way would be to archive or delete these repositories ;-) but I assume you have some need to keep them around.

[mohamed-barakat]

An easy way to achieve that would be to add a common "topic" to these, e.g. "subsplit-repository". Then it's easy to filter these out.

We are happy to do this to help simplify your processes. Unfortunately, I don't know what you mean by "topic". Is it something you add to the git-repo or to the GitHub page?

[fingolfin]

See this screenshot of a GitHub repository page, I highlighted the "topics"

If you have admin access to the repository, there is a little gear / wheel icon on the top right of that section, which you can click to edit the repository description, homepage URL, topics and more.