Between Tuesday August 20th, 5:00pm and Thursday August 22nd, 8:00am git.uwaterloo.ca will be down for an upgrade to version 10.8.7.

failed Pipeline #31890 triggered by rmrf

Oprhan push works quite well

Status Build ID Name
  Setup Extras
failed #1585
setup-extras

 
  Make Extras
skipped #1586
make-extras