We have'nt setup any PR for our wiki

rusty-snake 2021-08-03 07:23:27 +00:00
parent 57263d1f7e
commit 43479bc2d8

@ -12,10 +12,8 @@ When you add a new page to the wiki, please link to it from this page under the
## Editing an existing page
If you intend to edit an existing page, **please do one of two things**:
1. Create a pull request. That way, the changes can be discussed.
2. Discuss the proposed changes on the linked issue.
If you intend to edit an existing page, please discuss the proposed
changes on the linked issue. Minor edits such as typos can, of course, be corrected directly.
Thanks!