git extract: verify commands (#202)
Merge branch 'master' into kg-license-badge