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

[ Thread Index | Date Index | More Archives ]

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.


Mail converted by MHonArc 2.6.19+