Some more .github Stuff#10

felixevers wants to merge 1 commit intomainhelpwave/.github:mainfrom

issue/7-more-dot-github-stuffhelpwave/.github:issue/7-more-dot-github-stuffCopy head branch name to clipboard