Merge remote-tracking branch 'origin/dsg_push_fix' into HEAD
Merge branch 'master' of github.com:dmgctrl/libgit2
fixed type check bug