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

[Thomas Huth <th.huth@xxxxxxxxx>]

On 14/02/2019 09.31, Christer Solskogen wrote:
> 
> On Thu, Feb 14, 2019 at 6:02 AM Thomas Huth <th.huth@xxxxxxxxx
> <mailto:th.huth@xxxxxxxxx>> wrote:
> 
>     Am Tue, 12 Feb 2019 15:38:29 +0100
>     schrieb Nicolas Pomarède <npomarede@xxxxxxxxxxxx
>     <mailto:npomarede@xxxxxxxxxxxx>>:
> 
>     > Le 12/02/2019 à 15:32, Christer Solskogen a écrit :
>     >
>     > >     running "git gc" will in fact optimize space, but repo only
>     > > goes from ~108 MB to 93 MB. Don't know if there's a better way to
>     > > compress ?
>     > >
>     > >
>     > > git gc --aggressive 
>     >
>     > Indeed, size went from 93 MB to 12 MB this time :)
>     >
>     > I guess size will expand after some commits and the command can be
>     > run again, but it's better to have a small repo when you want to do a
>     > quick local "clone" of the repo by just doing "cp -r repo repo_new"
> 
>     That size is really a little bit weird. I guess it must have grown that
>     big on my HD since I used to sync my git tree with "hg-fast-export"
>     with the mercurial tree since last summer. Sorry for that.
> 
>     I'm a little bit afraid that the repo on the server is now also 120 MB
>     big already. I wonder whether we can somehow trigger the garbage
>     collection on the server side, too? Or should we maybe rather destroy
>     the repo again and start with a fresh and small one?
> 
> https://stackoverflow.com/questions/27867775/how-to-cleanup-garbage-in-remote-git-repo/37253227

That seems to be specific to bitbucket, and also does not work on
tuxfamily -- forced pushes are not allowed here (and I did not see an
option to enable them).

Anyway, I've raised a question in the support forum now:

https://forum.tuxfamily.org/post/3163/#p3163

Let's see whether they've got a solution. If not, I think we should
delete and re-init the repo again.

 Thomas