|Re: [hatari-devel] github hatari|
[ Thread Index |
| More lists.tuxfamily.org/hatari-devel Archives
- To: hatari-devel@xxxxxxxxxxxxxxxxxxx
- Subject: Re: [hatari-devel] github hatari
- From: Thomas Huth <th.huth@xxxxxxxxx>
- Date: Wed, 22 Feb 2023 18:40:42 +0000
- Dkim-signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.de; s=2017; t=1677091259; bh=g9vP4vBUD7bbOhUzq+qblRUKIzvgRvzKllgiCLghaLA=; h=Date:From:To:Subject:From; b=HDOxxV3xpCoeW+OpxcjxSnTZ5BYvYwAH1NMPP6S7+da4MZGjD7qX9HRf9RBmYHI9y OPF7z4fnxOMC3DIIBEBbVDIlVA6mvqSm3QYXrsE5Un6GJxJm8cRz4R5S6IGyxEh59T lZMgVttHZDQReTivILjCufxvrpWeoZ1jxtWP98KvoRdXrANEaM0eCIn66vISrqdX5t QZ6I/t3M64z7ExRaZ7DZiDwvpdDX7i4PF0B/YLBgeWb349mpOtKOxa2Z4PDyBDh0bF 08bdiMS8/fzPxQYxqcjfQ8ZiWJX7H/ZQQ7bv5VqatUfSZAWpEjbLSEg1ZbI7VmM1x8 5HKUZD8kBtZhA==
Am Wed, 22 Feb 2023 10:16:25 +0100
schrieb Christian Zietz <czietz@xxxxxxx>:
> Miro Kropáček schrieb:
> > in case somebody hasn't noticed (like me): the github mirror
> > (https://github.com/hatari/hatari <https://github.com/hatari/hatari>)
> > has stopped working since some time ago. So use the official repository:
> > https://git.tuxfamily.org/hatari/hatari.git if not done already.
Yes, sorry for that. I used the mirroring feature from gitlab.com to
automatically mirror the repo from tuxfamily to gitlab and from there to
github. But a couple of week ago, gitlab decided that mirroring is now a
premium feature you've got to pay for, so the automatic mirroring does not
work anymore now. I'm still updating the gitlab and github repos manually
every other weekend or so, but of course this means that they are falling
behind in between.
When I've got a lot of spare time again, I have to look for an alternative
for automatic mirroring, but that won't happen any time soon, I guess.
> Since most people will find you on GitHub nowadays and won't notice your
> official repo , I suggest to either delete the mirror (if it's not
> intended to be updated again) or to actively mark it as deprecated.
> Otherwise you'll have people building Hatari from outdated source code.
As I said above, I still update it occasionally. Hatari development is not
moving that fast, so if people are working with a repo that is two weeks
behind, it's not such a big issue, I think.