git checkout develop
git pull https://gitee.com/clauszy/cpp-stub-ext.git fix-redef
git push origin develop
