hi @kristopherw, if you don't have any other changes you want in that file, you can git revert it to an specific revision and push this single file change.