diff options
| author | Arslan Noor <arslannoorpansota@gmail.com> | 2022-06-30 10:37:54 +0200 |
|---|---|---|
| committer | Carlton Gibson <carlton@noumenal.es> | 2022-06-30 11:09:06 +0200 |
| commit | 5c93a84f44054034f495267ff2400a5de69a4fc1 (patch) | |
| tree | 997786365e33cf9ece0e484d292f0a8d748b3d3f /docs/internals/contributing/committing-code.txt | |
| parent | bb2c5f69f47466fa52f3cf2727d10b3ebd79a4da (diff) | |
Corrected various typos in contributing docs.
Diffstat (limited to 'docs/internals/contributing/committing-code.txt')
| -rw-r--r-- | docs/internals/contributing/committing-code.txt | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/docs/internals/contributing/committing-code.txt b/docs/internals/contributing/committing-code.txt index ed94ee9609..aab5cf300c 100644 --- a/docs/internals/contributing/committing-code.txt +++ b/docs/internals/contributing/committing-code.txt @@ -16,8 +16,8 @@ requests. When committing a pull request, make sure each individual commit matches the commit guidelines described below. Contributors are expected to provide the -best pull requests possible. In practice however, mergers - who will likely be -more familiar with the commit guidelines - may decide to bring a commit up to +best pull requests possible. In practice mergers - who will likely be more +familiar with the commit guidelines - may decide to bring a commit up to standard themselves. You may want to have Jenkins or GitHub actions test the pull request with one @@ -211,7 +211,7 @@ Nobody's perfect; mistakes will be committed. But try very hard to ensure that mistakes don't happen. Just because we have a reversion policy doesn't relax your responsibility to aim for the highest quality possible. Really: double-check your work, or have it checked by -another merger, **before** you commit it in the first place! +another merger **before** you commit it in the first place! When a mistaken commit is discovered, please follow these guidelines: |