HomeFreeBSD

committers-guide: pull request landing tweaks.

Description

committers-guide: pull request landing tweaks.

Clarify that only closing the pull request resuires a GitHub
account. All the other steps can proceed without one.

Also, include --push-option=confirm-author in the push because pull
requests will have a different author than the committer and this
instructs the src pre-commit hooks to allow the commit through.

Sponsored by: Netflix

Details

Provenance
impAuthored on Jun 3 2021, 1:55 PM
Parents
R9:cd2b40e5b8d5: git: document how to merge a pull request from github.
Branches
Unknown
Tags
Unknown