MarcoFalke fa8e89d5e4

ci: Remove distro-name from task name ...

The exact distro name should not be important. Also, it is easy to find
out, if needed. Thus, remove it to avoid bloat and maintenance overhead
having to keep it in sync.

2023-08-18 18:06:04 +02:00

..

ISSUE_TEMPLATE

github: Switch to yaml issue templates

2023-02-21 11:31:16 +00:00

workflows

ci: Remove distro-name from task name

2023-08-18 18:06:04 +02:00

PULL_REQUEST_TEMPLATE.md

doc: Add redirect for GUI issues and pull requests

2020-06-08 10:06:02 -04:00