<div dir="ltr"><div dir="ltr"><br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">Il giorno mar 18 giu 2019 alle ore 12:31 Tobias Boege <<a href="mailto:taboege@gmail.com">taboege@gmail.com</a>> ha scritto:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">On Tue, 18 Jun 2019, Gianluigi wrote:<br>
> Hi Tobias,<br>
> is the operation closed for holidays?<br>
> :-P<br>
> <br>
<br>
Sort of. Summer is the business travel season here and one week I simply<br>
forgot doing it. At that time, we also had an enormous amount of new bugs<br>
filed. Since then I've been leaving the weeks piling up. I guess the idea<br>
of "I just write down what I read during the week" only works if I actually<br>
read everything during the week. Otherwise it's an annoyance.<br>
<br>
In addition, the desire to pick it up again is rather low on my end,<br>
because the trawlers so far, while containing relevant information<br>
in an accessible format, did not have any effect on the Gambas-Buch<br>
whatsoever, which was the main idea behind the operation.<br>
<br>
I think to get going again, I have to:<br>
<br>
  - recommunicate its existence to Hans so that the Gambas-Buch<br>
    picks up news from there,<br>
<br>
  - push to host it on <a href="http://trawler.gambas-basic.org" rel="noreferrer" target="_blank">trawler.gambas-basic.org</a> and open up the<br>
    backing git repositories of articles and software, so that I'm<br>
    not the only one responsible in the future,<br>
<br>
  - revisit my plans for automating at least the crawling tasks,<br>
    so that a flood of bug reports doesn't leave me petrified.</blockquote></div><div class="gmail_quote"><br></div><div class="gmail_quote">We all need rest to recharge the batteries (except Benoit, it seems :-)).<br>My was a joking question.<br>Thank you for the detailed reply.</div><div class="gmail_quote"><br></div><div class="gmail_quote">Regards</div><div class="gmail_quote">Gianluigi<br></div></div>