Empty commit, to make semaphore move on

Apparently push -f is a bad idea if you work with semaphore.