Comment 1 for bug 1741892

Revision history for this message
Junien F (axino) wrote :

Also, the error when pushing to such a repo could maybe be improved ? "fatal: remote error: Permission denied." isn't super helpful.