Just FYI, I made a change this morning to the way that gitlab handles http vs https, so that we can do ‘git clone’ over plain http for public repos. If you see any odd behavior with respect to https, please let me know.