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://firstname.lastname@example.org/devguide to push ;-)
2016-01-22 9:24 GMT+01:00 Victor Stinner email@example.com:
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 sending batch command searching for changes all remote heads known locally preparing listkeys for "phases" sending listkeys command received listkey for "phases": 15 bytes checking for updated bookmarks preparing listkeys for "bookmarks" sending listkeys command received listkey for "bookmarks": 0 bytes sending branchmap command sending branchmap command preparing listkeys for "bookmarks" sending listkeys command received listkey for "bookmarks": 0 bytes 1 changesets found list of changesets: c7152e1accf8fae0037dbdd8221956f6f141219e bundle2-output-bundle: "HG20", 4 parts total bundle2-output-part: "replycaps" 155 bytes payload bundle2-output-part: "check:heads" streamed payload bundle2-output-part: "changegroup" (params: 1 mandatory) streamed payload bundle2-output-part: "pushkey" (params: 4 mandatory) empty payload sending unbundle command sending 1073 bytes abort: authorization failed haypo@smithers$ hg path default = https://hg.python.org/devguide/