Tobias Brunner 7bd9c0c85e github: Fix emojis in templates		2021-02-15 15:30:03 +01:00
..
ISSUE_TEMPLATE	github: Fix emojis in templates	2021-02-15 15:30:03 +01:00
actions/default	github: Migrate from Travis CI to Github Actions	2020-12-15 10:42:43 +01:00
workflows	github: Prevent duplicate CI runs	2020-12-15 10:42:43 +01:00