Writing docs for Github-related things

[inkydragon]

Documenting more details of the GitHub workflow.

“CONTRIBUTING.md” already has information on this, but I think it would be good to explicitly document how, when, and by whom some of the special tags like “merge me”, “backport”, or milestones should be used.

—— https://discourse.julialang.org/t/about-julias-development-policy-regarding-windows/128011/55

---

See also:

Issues and triaging

• Issue tracker

  • Using the issue tracker
  • Disagreement with a resolution on the issue tracker

• Triaging an issue

  • Checklist for triaging
  • Helping triage issues

• GitHub labels

• GitHub issues for BPO users

• Triage Team

  • Becoming a member of the Python triage team