+ [2017-01-21T21:22:44Z] TomTomTosch if that repo is added as remote, usually named "upstream" you can simply run git fetch upstream