Fetching changes... HEAD is now at 17d2129 Here are the changes, but I haven't tested it yet. From https://git.gmu.edu/srct/whats-open 17d2129..7d98788 102/mike/filterDefaults -> origin/102/mike/filterDefaults Checking out 7d987889 as 102/mike/filterDefaults... Skipping Git submodules setup $ sudo apt-get install -qy software-properties-common /bin/bash: line 76: sudo: command not found ERROR: Job failed: exit code 1