GitHub: record whether the origin is a fork

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)

changed the description

Jenkins job DLS/gitlab-builds #382 failed .
See Console Output and Coverage Report for more details.

added 1 commit

• 3199dc67 - Bump swh.scheduler requirement

Compare with previous version

added 1 commit

• 1d55faf3 - Bump swh.scheduler and swh.core requirements

Compare with previous version

Jenkins job DLS/gitlab-builds #384 succeeded .
See Console Output and Coverage Report for more details.

approved this merge request

added 1 commit

• f7abfaff - GitHub: record whether the origin is a fork

Compare with previous version

^ bump requirements for the newly released swh.core / swh.scheduler

Jenkins job DLS/gitlab-builds #385 succeeded .
See Console Output and Coverage Report for more details.

merged manually