gitlab-api

Create Gitlab Push/Pull Mirrors

I have a need to recreate a lot of repositories with pull mirroring. This tool has all the other pieces I need except this one feature.

Propose a Solution

Using `glab repo mirror --direction=pull --src="ssh://git@gitlab.example.com:2222/namespace/project.git" --auth=ssh --allow-divergence --protected-branches-only my-new-namespace/my-new-project-na

Currently if you do gl = gitlab.Gitlab("https://gitlab.com/api/v4"), python-gitlab will fail as it'll duplicate the API path segment. Maybe we could accept this and derive the version from it.

go-gitlab does the opposite: they append api/v4/ by default:
https://github.com/xanzy/go-gitlab/blob/71c3b6a3a07ca4b83dee273ccecfdfe4885b80fd/gitlab.go#L531-L533

Reference: https://docs.brew.sh/How-to-Create-and-Maintain-a-Tap

It seems having a requested change in the PR doesn't get reported with the other conditions for merging. Have a look at this example:

coq/coq#15852 (comment)