GitLab

repeat pop-global-mark by default.
(pop-global-mark-quick-repeat): New user option.
(set-mark-command): Use it.