Hi Dirk, On Montag, 27. April 2020 01:26:47 CEST Dirk Hohndel via subsurface wrote:
> I just moved our GitHub repository to a new home. Through a generous > donation I have become the proud owner of GitHub.com/Subsurface -- and > decided to move the official home of our project that to that URL. > > GitHub typically does an outstanding job of dealing with such transfers and > all accesses to the old name should seamlessly be forwarded to the new > address, including the submodule. > > If you run into anything that doesn't work anymore because of this change, > please let me know so I can work on addressing this. There appear to be no more CI runs, which is a bit scary. See e.g. https:// github.com/subsurface/subsurface/pull/2790 Berthold _______________________________________________ subsurface mailing list subsurface@subsurface-divelog.org http://lists.subsurface-divelog.org/cgi-bin/mailman/listinfo/subsurface