issue
You have finished development in WebIDE. When you try to push your changes done in WebIDE to github,
and you meet with the error below:
github.com/i042416/ui5… cannot open git-receive-pack
Solution
Git->Configuration:
Add one configuration item:
After change, push could be finished successfully.
要获取更多Jerry的原创文章，请关注公众号"汪子熙":