aboutsummaryrefslogtreecommitdiff
path: root/.github/CONTRIBUTING.md
AgeCommit message (Collapse)Author
2025-11-13Update links to manualsJonas Bernoulli
2022-03-26Update README.md and CONTRIBUTING.mdJonas Bernoulli
Favor links over duplicating information and then letting it get out-of-date. Of course links may break too, so fix those too.
2020-12-09Ask users to use Github's new Discussions feature for supportJonas Bernoulli
2018-06-09Move Github templates into .github directoryJonas Bernoulli
2018-01-10Move Github-supported documentation files into sub-directoryJonas Bernoulli
Unfortunately Github only finds these files if they are located at the top-level or in a sub-directory named either "docs" or ".github". Our documentation directory is called "Documentation". We used to place these files at the top-level but since I am going to add more of the supported files this would become to noisy. The best work around would be to create a symlink ".github -> Documentation, but Github doesn't support that. The next best thing is to create a directory named ".github" that contains symlinks to files inside "Documentation".