Revert "# WARNING: head commit changed in the meantime"

This reverts commit c57161300aa1baa6a2ef46406999ef3e6edda744.