@Mark In that case,
git revert them. It's much safer and you don't have to coordinate with everyone.