diff options
Diffstat (limited to 'doc/intro/Contributing.rst')
-rw-r--r-- | doc/intro/Contributing.rst | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/doc/intro/Contributing.rst b/doc/intro/Contributing.rst index 8a0ba30bc..e76f83628 100644 --- a/doc/intro/Contributing.rst +++ b/doc/intro/Contributing.rst @@ -65,13 +65,11 @@ you have not understood some parts of this manual, please tell me. English is not my mother tongue, so this manual may not be well-written. Again, rewriting part of it is a good way to improve it. ---- +.. TODO:: topic -@TODO: - -- Reporting bugs + - Reporting bugs - [1138: Issues, search first] - Minimum-(non)-Working-Example (MWE) -- Pull Requests (PRs) + - Pull Requests (PRs) - [1138: check chapter 2 -> building -> GHDL -> directory structure] - [1138: beware that some commit messages can `automatically close <https://help.github.com/articles/closing-issues-via-commit-messages/>`_ PRs]
\ No newline at end of file |