W3C home > Mailing lists > Public > public-rdf-wg@w3.org > March 2013

RE: I hate version control.

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>
Message-ID: <006101ce1a45$47691e20$d63b5a60$@lanthaler@gmx.net>
> 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 Lanthaler
Received on Wednesday, 6 March 2013 08:33:59 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 17:04:26 UTC