You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardexpand all lines: CONTRIBUTING.md
+1-1
Original file line number
Diff line number
Diff line change
@@ -9,7 +9,7 @@ We appreciate all kinds of contributions to this project. This document gives yo
9
9
- A good pull request should refer to the issue and thus to the problem that it should solve. Explain what the pull request does and how it addresses the problem/issue. If you still work on a new feature or a fix, you can open a pull request and mark is as draft. Once you consider the work done, please mark it as ready for review and request a reviewer. We will give feedback and eventually merge the pull request.
10
10
- We enforce consistency of the formatting via automatic style checking. When marking a pull request as ready for review, please make sure that all checks pass successfully.
11
11
- For *small changes*, such as typos, broken links etc., please directly create a pull request.
12
-
- For larger changes, such as the description of new tools, a new chapter etc., please open an issue first. In the issue
12
+
- For larger changes, such as the description of new tools, a new chapter etc., please open an issue first.
0 commit comments