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