git checkout develop

git pull https://gitee.com/OpenDevel/java-for-linux.git OSrcD

git push origin develop