Resurrect git-revert.sh example and add comment to builtin-revert.c