Emil Ernerfeldt d0876a1a60 Rename master branch to main (#7034) ...

For consistency with other repositories, i.e. so I can write `git
checkout main` without worrying which repo I'm browsing.

2025-05-08 09:15:42 +02:00

..

bug_report.md

Rename master branch to main (#7034)

2025-05-08 09:15:42 +02:00

feature_request.md

Improve issue templates

2022-12-02 09:51:21 +01:00

other.md

Fix the issue templates

2021-09-28 20:29:11 +02:00