git kill: verify commands (#202)
Merge branch 'master' into cr-verifySyncCommands