Just create a commit to debug a push bug.