Allows interactively incrementally search history/checkout git branches and other stuff
created at Aug. 16, 2017, 9 p.m.
2 +0
8 +0
0 +0