restate --amend commit which doesn't show up on travis