git checkout develop

git pull https://gitee.com/yuan-yaquan/faster-develop-editor.git feature/0.4.1

git push origin develop