Select Git revision
The idea is that all the filtering capability should be replaced by "grep" and shell pipes. Part one (server still TODO).
The idea is that all the filtering capability should be replaced by "grep" and shell pipes. Part one (server still TODO).