diff options
| author | Drew DeVault <sir@cmpwn.com> | 2018-11-06 08:17:16 -0500 |
|---|---|---|
| committer | Drew DeVault <sir@cmpwn.com> | 2018-11-06 08:17:16 -0500 |
| commit | 832495742695ad58609ed93b98963e2a6492a2be (patch) | |
| tree | 4d9da78dc8731d3246089f98b4acd390722bf995 | |
| parent | 9412f07b6e753fbb32ae807fa50edc6bcd6b47d4 (diff) | |
| download | sr.ht-docs-832495742695ad58609ed93b98963e2a6492a2be.tar.gz | |
Add link to GitHub on GitHub docs
| -rw-r--r-- | dispatch.sr.ht/github.md | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/dispatch.sr.ht/github.md b/dispatch.sr.ht/github.md index be41ad2..318ba12 100644 --- a/dispatch.sr.ht/github.md +++ b/dispatch.sr.ht/github.md @@ -1,5 +1,5 @@ -dispatch.sr.ht supports various integrations with GitHub. Some tips are provided -here. +dispatch.sr.ht supports various integrations with [GitHub](https://github.com). +Some tips are provided here. # Configuring branch protection rules on GitHub @@ -21,10 +21,10 @@ Specify the branches you want the rule to apply to (e.g. "master") and configure the criteria which must be met for the pull request to be mergeable. For example, to require the code to be reviewed before merge: - + **Important**: if your account is an administrator on this GitHub repository, attempts to merge will succeed *even if the branch protection rules are unmet*. You must enable the "Include administrators" option to prevent this. - + |