diff options
author | David Allsopp <david.allsopp@metastack.com> | 2017-08-12 21:21:02 +0100 |
---|---|---|
committer | David Allsopp <david.allsopp@metastack.com> | 2017-10-25 23:54:39 +0100 |
commit | 6a2f16158fdacb7ae3e3a25dd952373103f5414c (patch) | |
tree | 8db46793fbbc2b35b8c604d7f3ca3c8acac33792 /CONTRIBUTING.md | |
parent | 8b22c9af5d01ab37be60b55c41dfdf22e1351ef1 (diff) | |
download | ocaml-6a2f16158fdacb7ae3e3a25dd952373103f5414c.tar.gz |
Shorten URLs as much possible.
Diffstat (limited to 'CONTRIBUTING.md')
-rw-r--r-- | CONTRIBUTING.md | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 0b4add8c1f..aae6f0ad83 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -54,8 +54,9 @@ approved PR, they need to be able to apply small changes to the contributed branches themselves. Such changes include fixing conflicts, adjusting a Changelog entry, or applying some code changes required by the reviewers. Contributors are thus strongly advised to -check the [**Allow edits from maintainer**](https://help.github.com/articles/allowing-changes-to-a-pull-request-branch-created-from-a-fork/) -flag on their PRs in the GitHub interface. Failing to do so might +check the [**Allow edits from maintainer**]( +https://help.github.com/articles/allowing-changes-to-a-pull-request-branch-created-from-a-fork/ +) flag on their PRs in the GitHub interface. Failing to do so might significantly delay the inclusion of an otherwise perfectly ok contribution. |