Update git links to https protocol and to accept IR 0.7.0