Tagged: shell 2019 Git commands for maintaining health status of your code repository system Jan 31 2018 Better "GREP-ing" tool for searching source code files when doing development Jul 21