| Age | Commit message (Expand) | Author |
|---|---|---|
| 2018-06-26 | Add minor changes to repo guidelines | Christoph Blecker |
| 2018-06-26 | Add GitHub Permissions doc | Christoph Blecker |
| 2018-06-26 | Add README to github-management | Christoph Blecker |
| 2018-06-20 | Move existing github related docs to dedicated folder | Christoph Blecker |
