Otherwise, if the master branch is deployed, the 'dev' directory is
removed, which possibly contains data we want to keep, for example code
coverage reports or proposed website changes.

This commit fixes a regression introduced in
4e0c624f.

It was tested via an intermediate commit to ensure it works as expected.

Relates !71