<div dir="ltr"><div dir="ltr">On Sun, 19 Apr 2020 at 14:17, Wookey <<a href="mailto:wookey@wookware.org">wookey@wookware.org</a>> wrote:<br></div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">On 2020-04-19 13:48 +0100, Mark Shinwell wrote:<br>
> Do we know if the loser dataset has to remain private these days?  Many years<br>
> ago I remember the reason for us having to keep it private was in part because<br>
> there was concern that people might try to develop Eishöhle as a show cave,<br>
> which would be disastrous.  However I'm a bit uncertain that remains a<br>
> reasonable reason -- surely anyone interested in such a development would be<br>
> able to find the necessary information by some means these days, perhaps even<br>
> by visiting the cave?  With the level of environmental protection on the area<br>
> it also seems rather unlikely to say the last.<br>
<br>
Right. I don't think it's a significant issue any more, and we've not<br>
been keeping any of the dataset or the website caves private for some<br>
time.<br></blockquote><div><br></div><div>Oh, I didn't realise this.  Is the loser dataset currently publicly-accessible via a web URL?</div><div><br></div><div>The reason for asking is that I'd like to experiment with Github CI checks as a means of avoiding a lot of the mess I've had to clean up in dozens of changesets this morning.  However this can only be done for free if the repository is public, which my current loser repo is not.</div><div><br>If the existing dataset isn't publicly-accessible, I would have to ask Robert first, not least since we have datasets from other groups (e.g. RKH) in ours now.</div><div><br></div><div>When was there a numpty-rescue from Eishöhle, and do you know what happened?</div><div><br></div><div>Mark</div><div><br></div><div>P.S. I have a full git tree now, but I need to do some more rebasing, as I think I've found some more ARGE data that isn't in the correct place.  I'm also going to try to make a tag after each year and attempt to get Survex to compile the dataset at each of those tags...</div></div></div>