infra/.github/CONTRIBUTING.md

Pull requests from forks

As PRs from forks don't have automatic CI checks, admins can test PRs by posting a comment on the PR instead.

• bors try - check if the PR builds.
• bors merge - same as bors try but will also merge the PR if it builds successfully.
• https://bors.tech/documentation/