Web IDE gives error (Branch master was not found in this project's repository)

Hi all! A similar problem was discussed in WebIDE won't open and the workaround posted there solved the problem for at least one user. Can you please try that workaround as well?