Report question

Question: Changing git commit message after push (given that no one pulled from remote)