use https for git modules