On Sun, May 14, 2023 at 10:32 PM Brennan Ashton wrote: > On Sun, May 14, 2023, 1:12 PM Tomek CEDRO wrote: > > One last question: how is the website updated? :-P > > By running publish.sh ? > > Is it safe to run? > > This is handled by CI. I just put up a PR to fix the publish issue > triggered by your git user.name. Once that merges this will publish.
Thank you Brennan :-) -- CeDeROM, SQ7MHZ, http://www.tomek.cedro.info
