Skip to content

Prepare for default branch name change

Florian Müllner requested to merge fmuellner/gnome-shell-extensions:rename-to-main into master

It’s a more inclusive name, has the same tab-completion prefix, and is the default choice for new repositories created locally by git, and on GitHub and GitLab.

Merge request reports