Do not pull the gnulib repo at every git-check

7 jobs for 175-adapt-the-game-to-use-the-tournament-api in 28 minutes and 13 seconds (queued for 4 seconds)
Status Name Job ID Coverage
  Dist
passed dist #572059

00:20:09

 
  Check
passed check #572060

00:03:15

passed deb #572062

00:05:54

passed generate #572063

00:06:31

passed mingw #572061

00:05:20

 
  Manual
passed pages #572064

00:01:30

 
  Deploy
passed pages:deploy

00:00:01