Infrastructure: GitHub organization

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