Skip to content

Marking subsplit repositories for the benefit of automation tools #594

@fingolfin

Description

@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.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions