<div class="gmail_quote">On Tue, Apr 3, 2012 at 02:44, Stefano Zampini <span dir="ltr"><<a href="mailto:stefano.zampini@gmail.com">stefano.zampini@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div id=":136">after a while, I was trying to push some changes for BDDC code on <a href="http://petsc.cs.iit.edu" target="_blank">http://petsc.cs.iit.edu</a>.<br><br>I got the following hg error : ssl required.<br><br>Is it a problem I need to investigate on my side or did you remove my writing permissions on <a href="http://petsc.cs.iit.edu/petsc-dev" target="_blank">http://petsc.cs.iit.edu/petsc-dev</a>?<br clear="all">

<br>Some times ago I erroneously pushed to bitbucket and you removed my permissions.</div></blockquote></div><br><div>Pushing via http is never supported, pushing via https is not supported on <a href="http://petsc.cs.iit.edu">petsc.cs.iit.edu</a>. You should use ssh://<a href="http://petsc@petsc.cs.iit.edu//hg/petsc/petsc-dev">petsc@petsc.cs.iit.edu//hg/petsc/petsc-dev</a></div>