sercanto/infra
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

add bors docs

Browse source
This commit is contained in:
zowoq 2022-09-27 11:15:08 +10:00
parent 4cd4d55784
commit 835d9a721f
2 changed files with 12 additions and 2 deletions

3
.github/PULL_REQUEST_TEMPLATE.md vendored Normal file
View file

@ -0,0 +1,3 @@
<!--
Pull requests from forks don't have automatic CI checks, an admin will need to trigger CI by posting a comment on the PR.
-->

7
README.md
View file

@ -40,6 +40,13 @@ If you hit any issues, ping us on Matrix in the
room (see the admin list below) or create an issue here: room (see the admin list below) or create an issue here:
[New Issue](https://github.com/nix-community/infra/issues/new). [New Issue](https://github.com/nix-community/infra/issues/new).
### 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/
### Administrators ### Administrators
* @adisbladis * @adisbladis