Loving Gitlab.gnome.org, and getting notifications

from blog Federico's Blog, | ↗ original
I'm loving gitlab.gnome.org. It has been only a couple of weeks since librsvg moved to gitlab, and I've already received and merged two merge requests. (Isn't it a bit weird that Github uses "pull request" and Everyone(tm) knows the PR acronym, but Gitlab uses "merge request"?) Notifications …