- From: Markus Lanthaler <markus.lanthaler@gmx.net>
- Date: Wed, 23 Oct 2013 19:45:51 +0200
- To: "'Pat Hayes'" <phayes@ihmc.us>, "'RDF WG'" <public-rdf-wg@w3.org>
On Wednesday, October 23, 2013 6:27 PM, Pat Hayes wrote: > Sorry, folks, but this bloody system is acting up again. I got the most > recent (dated 5 november) version of the document, edited it, committed > it, and tried to push it, and it tells me > > hg push --new-branch default > warning: dvcs.w3.org certificate with fingerprint > 97:4c:0e:c5:2e:95:74:5e:c7:fa:ed:07:3f:97:ab:ea:80:7a:be:7c not > verified (check hostfingerprints or web.cacerts config setting) > abort: push creates new remote head 6f23bae8f64a! > (did you forget to merge? use push -f to force) > pushing to https://dvcs.w3.org/hg/rdf/ > searching for changes > Completed with errors, see above > > which makes NO BLOODY SENSE AT ALL. I don't even know if it worked or > not. It didn't > If anyone there knows what I can do next, or if I even need to do > anything else, please give me a hand here. Probably you forgot to do a hg pull hg update before you started changing the document. If you want, I can commit the changes for you. Just mail me the HTML file. > I swear, it would be easier to carve the documents in granite than use > this infuriating process. I think it would be a hell lot of fun to have a couple of beers with you one day :-P -- Markus Lanthaler @markuslanthaler
Received on Wednesday, 23 October 2013 17:46:24 UTC