Revert Git Change

In order to revert a committed and pushed git change, such as a trackDb edit or a static doc change, the following steps can be taken. Consult with Galt on any major changes, or uncertainties.

First enter kent tree, pull and revert the change by hash:

cd $HOME
cd kent
git pull  
git revert HASH # where HASH is the change you want undone, such as c6f55ceb4ba3de1d914c08a167a19f7f40e76a7f
# it will give you a default revert commit message,
# so you can just do save and quit

After that those changes will be undone in your branch, so you can re-edit those files, add, and commit/push as usual.