Re: [hatari-devel] github hatari

[Miro Kropáček <miro.kropacek@xxxxxxxxx>]

On Wed, 22 Feb 2023 at 10:16, Christian Zietz <czietz@xxxxxxx> wrote:

Since most people will find you on GitHub nowadays and won't notice your
official repo [1], 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.

I wholeheartedly agree however it is not my mirror. :-)

What I meant was that I had this repository in my Git client stored since a long time ago.

--

http://mikro.atari.org