Fix shrepos git address