summaryrefslogtreecommitdiff
path: root/CONTRIBUTING.md
diff options
context:
space:
mode:
authorDavid Allsopp <david.allsopp@metastack.com>2017-08-12 21:21:02 +0100
committerDavid Allsopp <david.allsopp@metastack.com>2017-10-25 23:54:39 +0100
commit6a2f16158fdacb7ae3e3a25dd952373103f5414c (patch)
tree8db46793fbbc2b35b8c604d7f3ca3c8acac33792 /CONTRIBUTING.md
parent8b22c9af5d01ab37be60b55c41dfdf22e1351ef1 (diff)
downloadocaml-6a2f16158fdacb7ae3e3a25dd952373103f5414c.tar.gz
Shorten URLs as much possible.
Diffstat (limited to 'CONTRIBUTING.md')
-rw-r--r--CONTRIBUTING.md5
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.