GitHub: record whether the origin is a fork
There are no commits yet
Push commits to the source branch or add previously merged commits to review them.
Staging instance, all changes can be removed at any time
For now this information is not used downstream, but it can be useful for specific analysis or one-shot scheduling.
Depends on swh-scheduler!386 (merged)
Push commits to the source branch or add previously merged commits to review them.