解决webIDE里git push报错的问题

ssue

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:

https://github.com/i042416/ui5-fiori:

cannot open git-receive-pack

Solution

Git->Configuration:

Add one configuration item:

After change, push could be finished successfully.