urbit/vere
1
1
Fork 0
mirror of https://github.com/urbit/vere.git synced 2024-10-03 22:57:14 +03:00
Code Issues Packages Projects Releases Wiki Activity

CONTRIBUTING.md: no one other than PR authors should merge generally

Browse Source
This commit is contained in:
barter-simsum 2023-03-14 13:15:42 -04:00
parent b3aaf26923
commit b34c81fc86
1 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
CONTRIBUTING.md
View File

@ -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."
@ -147,4 +152,4 @@ jump to definition, cross-references, hovering, symbol renaming, etc.):
```console
bazel run //bazel:refresh_compile_commands
```
```