use the Git repo instead of the (currently not-updating) HTTP one