My fault. I wrongly renamed the path in $PETSC_DIR/.hg/hgrc after testing for bitbucket.<br>Pushed.<br><br>Thank you,<br>Stefano<br><br><br><div class="gmail_quote">2012/4/3 Jed Brown <span dir="ltr"><<a href="mailto:jedbrown@mcs.anl.gov">jedbrown@mcs.anl.gov</a>></span><br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="HOEnZb"><div class="h5"><div class="gmail_quote">On Tue, Apr 3, 2012 at 02:44, Stefano Zampini <span dir="ltr"><<a href="mailto:stefano.zampini@gmail.com" target="_blank">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>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></div><div>Pushing via http is never supported, pushing via https is not supported on <a href="http://petsc.cs.iit.edu" target="_blank">petsc.cs.iit.edu</a>. You should use ssh://<a href="http://petsc@petsc.cs.iit.edu//hg/petsc/petsc-dev" target="_blank">petsc@petsc.cs.iit.edu//hg/petsc/petsc-dev</a></div>

</blockquote></div><br><br clear="all"><br>-- <br>Stefano<br>