Skip to content

Commit 6a0d34d

Browse files
author
Giacomo Camporini
committed
Changed wording as @oremanj suggested
1 parent a7d7042 commit 6a0d34d

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

docs/source/contributing.rst

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -171,9 +171,9 @@ When you are submitting your PR, you can include ``Closes #123``,
171171
``Fixes: #123`` or
172172
`some variation <https://help.github.com/en/articles/closing-issues-using-keywords>`__
173173
in either your commit message or the PR description, in order to
174-
automatically close the issue you are solving when the PR is merged.
175-
This is not mandatory, but it helps cleaning up and prevents dangling issues
176-
that have to be closed by people coming across them in the future.
174+
automatically close the references issue when the PR is merged.
175+
This keeps us closer to the desired state where each open issue reflects some
176+
work that still needs to be done.
177177

178178

179179
.. _pull-request-tests:

0 commit comments

Comments
 (0)