Comment by claudiusa

worked for me pushing some commits about 20 minutes ago.