Infrastructure: GitHub organization

Maintainers role: Duties, privileges, appointment procedure

• Duty (daily): 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
• Duty (weekly): Assign closed issues, merged PRs without release milestone to the current milestone
• Duty (weekly): Monitor the workflows CI Linux (default), push to Docker Hub, publish to GH Releases and PyPI; hot-fix and restart if necessary
• Duty (weekly): Monitor the long-running CI workflows of development releases (check for broken portability)
• Duty (monthly): Monitor the long-running CI workflows of development releases (check for broken optional packages)
• Duty (monthly): Organize preparation of Release Tours
• Duty (monthly): Open a new release milestone when it is time
• Duty: Add people to the Triage role when appropriate
• Duty: Create new labels when appropriate
• Duty: Monitor/configure the GH Actions workflow that updates labels https://groups.google.com/g/sage-devel/c/sulCa-6EZRA/m/6P6ZCCzkAAAJ