michaelg/dev: links for gitlab-tools