as GitHub started serving pages on https too