Task: repository configuration

[elsassph]

Subject

• Default PR target: currently, opening a PR by default targets master instead of dev.
• Branch protection: is there push protection set up for master and dev?

Notes (Optional)

No response