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

[Mariusz Buras <mariusz.buras@xxxxxxxxx>]

Just out of curiosity: how 120MB is a problem? :)

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

On 14/02/2019 13.08, Miro Kropáček wrote:
> On Thu, 14 Feb 2019 at 11:52, Thomas Huth <th.huth@xxxxxxxxx
> <mailto: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.

It's a setting called "receive.denyNonFastForwards" that can be changed
in the repository config of the server - but since we do not have access
to these config settings (AFAIK), we can not change it without asking
for support from the Tuxfamily staff.

 Thomas