- From: Markus Lanthaler <markus.lanthaler@gmx.net>
- Date: Wed, 6 Mar 2013 09:33:27 +0100
- To: "'Pat Hayes'" <phayes@ihmc.us>, "'RDF WG'" <public-rdf-wg@w3.org>
> OK, I am using SourceTree, and everything is working peachy, until I > try to Push the latest edit, and now I get this (all in red!): > > warning: dvcs.w3.org certificate with fingerprint > f8:9e:e9:55:14:2d:6f:3c:d4:f0:ad:33:fc:7b:7b:26:c0:17:53:d9 not > verified (check hostfingerprints or web.cacerts config setting) > abort: push creates new remote head 5de7a3a4b6d3! > (did you forget to merge? use push -f to force) Pat, did you Pull before you clicked on Push? You need to do that so that changes from other people (to other documents) get incorporated. You can probably safely ignore the certificate verification failure. Hope this helps, Markus -- Markus Lanthaler @markuslanthaler
Received on Wednesday, 6 March 2013 08:33:59 UTC