Adding a maybe useful script for updating git-urls. EOM