Console Output
07:29:04 [2020-12-27T12:29:04.544Z] + git init --bare
07:29:04 [2020-12-27T12:29:04.544Z] Reinitialized existing Git repository in /home/jenkins/gitcache/
07:29:04 [2020-12-27T12:29:04.544Z] + git config remote.omr.url https://github.com/eclipse/omr.git
07:29:04 [2020-12-27T12:29:04.544Z] + git config remote.omr.fetch +refs/heads/*:refs/remotes/omr/*
07:29:04 [2020-12-27T12:29:04.544Z] + git fetch omr
07:29:05 [2020-12-27T12:29:05.056Z] From https://github.com/eclipse/omr
07:29:05 [2020-12-27T12:29:05.056Z] ba7ff1f..62dd1d4 master -> omr/master