There will be about 1h of downtime on 2020-03-02 at 13:00 UTC+1 (change of servers and upgrade to Heptapod 0.20.0 final)

add hg push to deploy

--HG--
branch : preview
1 job for branch/preview in 1 minute and 1 second
latest
Status Job ID Name Coverage
  Build
passed #149900
html-build

00:01:01