Re: [hatari-devel] Hatari download page changed unexpectedly

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

On Thu, 14 Feb 2019 at 11:52, Thomas Huth <th.huth@xxxxxxxxx> wrote:

forced pushes are not allowed here (and I did not see an option to enable them).

I'd be very surprised if this was a server-wide setting. It's up to everyone's taste to force push or not, it's one of the most basic git features.

--

http://mikro.atari.org