Skip to content

Commit

Permalink
CONTRIBUTING.md: no one other than PR authors should merge generally
Browse files Browse the repository at this point in the history
  • Loading branch information
barter-simsum committed Mar 14, 2023
1 parent b3aaf26 commit b34c81f
Showing 1 changed file with 6 additions and 1 deletion.
7 changes: 6 additions & 1 deletion CONTRIBUTING.md
Original file line number Diff line number Diff line change
Expand Up @@ -51,6 +51,11 @@ Reference any related issues, links, papers, etc. here.
Tests will run automatically via GitHub Actions when you open a pull request or
push new commits to an existing pull request.

With current github permissions, a PR is merge-ready after a single approval
from any member of @urbit/runtime. Although anyone can hit the merge button,
defer to the PR author to merge unless it's an urgent hotfix that needs to be
merged ASAP.

Once you've collected and addressed feedback and are ready to merge, merge the
pull request. Use the default commit message which should default to your PR
title and description. Assuming that you properly included the "Resolves #N."
Expand Down Expand Up @@ -147,4 +152,4 @@ jump to definition, cross-references, hovering, symbol renaming, etc.):

```console
bazel run //bazel:refresh_compile_commands
```
```

0 comments on commit b34c81f

Please sign in to comment.