Seems that GitCli.js is not used at present? I am not sure how to use it right now...