Stupid mistake (git revert is only for when you haven't made the commit public yet...)