- Gerne per Pull-Request.
- Für Tippfehler reicht locker auch ein Hinweis via GitHub Issues.
- Bitte keine Tippfehler per E-Mail melden (außer man möchte vermeiden, einen GitHub-Konto zu eröffenen).
- Commit-Messages zu Änderungen an der Infrastruktur bitte auf Englisch, falls möglich.
- Commit-Messages zu Änderungen an deutschsprachigen Inhalten können auf Deutsch gemacht werden.
- Auch, wenn's weh tut, haben wir uns dann doch auf die neue deutsche Rechtschreibung einigen können, da die meisten Leser mittlerweile wohl doch diese gewöhnt sind. Wir behalten uns jedoch vor, einige Wörter oder Wortkombinationen in neuer Rechtschreibung auszuschließen (z.B. "Des Weiteren") und durch weniger schmerzhafte Synonyme zu ersetzen.
- Pull-Requests preferred.
- For reporting typos it suffices totally to simply open a new issue in GitHub Issues.
- Please do not report typos by e-mail (except if you don't want to create a GitHub account).