@kostrzewa do you know how to revert such a commit while also removing it from the logs? reset --hard doesn't work for a specific file...