Undoing commit for PR that was resolved by hand