michaelg/dev: links for gitlab-mcp-server