Commit 8413c0f9b357a513943e496b01c68aa27e1d95b4

Edward Thomson 2020-12-05T21:32:48

util: move git__noop into the util header The git__noop function is more largely useful; move it into the util header. (And reduce the number of underscores.)