move github config to toplevel

This commit is contained in:
Robert Kaussow 2019-04-10 14:57:56 +02:00
parent 20708d28d0
commit 0ee05b9fc0
1 changed files with 0 additions and 0 deletions