Sorry for the noise, I used the wrong URL for the repository. In fact,
the last time that I pushed a change, it was on another computer, so I
was confused.
I should use ssh://h...@hg.python.org/devguide to push ;-)
Victor
2016-01-22 9:24 GMT+01:00 Victor Stinner :
>
Hi,
I wanted to fix a small typo in the devguide, but I'm unable to push
this morning.
haypo@smithers$ hg push --debug
pushing to https://hg.python.org/devguide/
using https://hg.python.org/devguide/
sending capabilities command
hg.python.org certificate successfully verified
query 1; heads