Dear list,<div><br></div><div>I got this;</div><div><br></div><div><div>zach@carillon:~/Fluxus/fluxus$ git pull origin master</div><div><a href="http://git.savannah.nongnu.org" target="_blank">git.savannah.nongnu.org</a>[0: 140.186.70.72]: errno=No route to host</div>

<div>fatal: unable to connect a socket (No route to host)</div></div><div><br></div><div>It seems related to the note here; <a href="http://savannah.nongnu.org/">http://savannah.nongnu.org/</a></div><div><br></div><div>Doesn't sound like the sky is falling but I thought I'd point it out; I couldn't quickly find a reference to the issue in the list archives.</div>
<div><br></div><div>Secondly; after the "(seq) shoud return a number" issue my source is now out of sync with the master. That's cool as it's a improvement, but the final fix might be yet better... or any number of things might happen.</div>
<div><br></div><div>How should I deal with that? Suppose Dave improves on my fix, how would I tell Git that Dave's addition should replace mine? It seems hard to believe that Git will understand when two bits of code are trying to do the same thing in different ways. For now overwriting everything would do, but that wouldn't help if/when I'd be testing some idea that may or may not later become useful enough to share.</div>
<div><br></div><div>Yours,</div><div>Kas.</div><meta http-equiv="content-type" content="text/html; charset=utf-8">