The sound distributed version control system

Fix options of git subcommand

Created by  george-hopkins  on November 27, 2020
GBLM3JLRCNEZLICNLV6M26YCZ4EYDG2F5BJOBH4FIBOM4W473LYAC
Change contents