Age | Commit message (Collapse) | Author | |
---|---|---|---|
2020-06-08 | doc: Add redirect for GUI issues and pull requests | MarcoFalke | |
2019-09-25 | doc: Put PR template in comments | Wladimir J. van der Laan | |
This prevents the common annoyance of the text being included into PRs accidentally. | |||
2018-09-23 | doc: Add GitHub pr template | MarcoFalke | |