I am using pipelines to manage our production server repos and I pushed up some changes and I need to revert back to the previous commit. If I simply reset my local repo to the commit I want to be the head and push the changes up and trigger the pipeline, will the files on the production server be reverted back to what they were before the final push?