Undoing an accidentally pushed change.