Tag: undo one pushed commit