mirror of
https://github.com/ilyakooo0/urbit.git
synced 2024-09-11 10:46:43 +03:00
Add binnec requirement for devs merging to develop
This commit is contained in:
parent
e7287cd43e
commit
1e104e6372
@ -131,7 +131,16 @@ Tests will run automatically via GitHub Actions when you open a pull request or
|
||||
push new commits to an existing pull request.
|
||||
|
||||
Once you've collected and addressed feedback, tests are passing, and your PR has
|
||||
been approved, merge the pull request. If you properly included the "Resolves
|
||||
been approved, merge the pull request.
|
||||
|
||||
**Note**: If you are merging into develop, you *must* be syncing OTAs from
|
||||
`~binnec-dozzod-marzod` which gets the tip of develop deployed to it. If
|
||||
your merge breaks `binnec` it's your responsibility to alert people and
|
||||
fix it. Your PR is shipped when it's successfully been deployed to
|
||||
`~binnec` and picked up by your personal ship. If you're merging on behalf
|
||||
of an external developer, this is also your responsibility.
|
||||
|
||||
If you properly included the "Resolves
|
||||
#N." directive in the pull request description, merging will automatically close
|
||||
the tracking issue associated with the pull request.
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user