Private GIT
Fix #3305 - No need to force changing push url, setting developer = 1 will make it not touch your remotes at all.