housekeeping: stop doing full repo upgrade
This is #320 (closed) on the main developmenent branch, but publishing it will also publish it for heptapod-stable
hence for the future 0.14.4
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)
This is #320 (closed) on the main developmenent branch, but publishing it will also publish it for heptapod-stable
hence for the future 0.14.4