hopefully invisible change...

[Berthold Stoeger]

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