git and redo have nothing in common, except for being a utility developers may use. If nothing else, they should never be merged because they are trying to pro

git and redo have nothing in common, except for being a utility developers may use. If nothing else, they should never be merged because they are trying to provide a POSIX utility, which should always be: "Do one thing and do it well"