Github switched to https for anonymous clones ?