diff options
author | F <f@erbridge.co.uk> | 2022-11-11 01:54:02 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-11-11 02:54:02 +0100 |
commit | 97f657f8181dc24f6c30b6e9f0ce52df827ac90f (patch) | |
tree | 587939350fb10e412c2ebea3296add2e4e2442fd | |
parent | 53d26cfc1cc2779f699f3d3d56696484faefe87c (diff) |
Note that CircleCI auth may be required to run PR pipelines (#20371)
See #20284
-rw-r--r-- | CONTRIBUTING.md | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 3f51c4bd0..9963054b3 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -42,6 +42,8 @@ It is not always possible to phrase every change in such a manner, but it is des - Code style rules (rubocop, eslint) - Normalization of locale files (i18n-tasks) +**Note**: You may need to log in and authorise the GitHub account your fork of this repository belongs to with CircleCI to enable some of the automated checks to run. + ## Documentation The [Mastodon documentation](https://docs.joinmastodon.org) is a statically generated site. You can [submit merge requests to mastodon/documentation](https://github.com/mastodon/documentation). |