git repo location updated

As spotted by the author of this question: http://stackoverflow.com/q/27197621/1240557