Bartłomiej Piotrowski commented: Done via https://gitlab.gnome.org/Infrastructure/sysadmin-bin/commit/7e7b9d89045dd5a4d9732d4b9c3a40ffe2d7fecd. By default developers can both merge requests and push directly to protected branches. @averi Could you update git checkout on GitLab server? I couldn't run `git pull` because filesystem is RO. -- Reply to this email directly or view it on GitLab: https://gitlab.gnome.org/Infrastructure/Infrastructure/issues/186#note_613545 You're receiving this email because of your account on gitlab.gnome.org.
_______________________________________________ gnome-infrastructure mailing list [email protected] https://mail.gnome.org/mailman/listinfo/gnome-infrastructure
