Infrastructure: GitHub organization

• Tasks:
  • Create and remove repositories
  • Add people to the Triage role when appropriate
  • Create new labels when appropriate
  • Monitor/configure the GH Actions workflow that updates labels https://groups.google.com/g/sage-devel/c/sulCa-6EZRA/m/6P6ZCCzkAAAJ
• Daily tasks:
  • Approve workflow runs for PRs by new contributors that are waiting for approval
    • this requires at least "Write" privileges, see https://docs.github.com/en/actions/managing-workflow-runs/approving-workflow-runs-from-public-forks#about-workflow-runs-from-public-forks
    • to batch-delete workflow runs that never got approved and do not need to be run any more: gh run list --status action_required --branch pol-quotient-deg --limit 200 --json databaseId --jq '.[].databaseId' | xargs -n 1 gh run delete
• Weekly tasks:
  • Assign closed issues, merged PRs without release milestone to the current milestone
  • Monitor the workflows CI Linux (default), push to Docker Hub, publish to GH Releases and PyPI; hot-fix and restart if necessary
  • Monitor the long-running CI workflows of development releases (check for broken portability)
• Monthly tasks:
  • Monitor the long-running CI workflows of development releases (check for broken optional packages)
  • Organize preparation of Release Tours
  • Open a new release milestone when it is time