Infrastructure: GitHub organization

• Owners as of 2024-06: @fchapoton, @haraldschilly, @jhpalmieri, @jplab, @mkoeppe, @nthiery, @roed314, @saraedum, @vbraun, @williamstein

• Maintainers role: Duties, privileges, appointment procedure

• 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

• Other tasks:

  • 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