cannot push the change done in WebIDE to github

Created by Jerry Wang, last modified on Oct 20, 2015

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:

Another approach

set or disable proxy setting in configuration file orion.ini accordingly.