gmxlab git mirror (use git+https)