Another solution could be running git-repack. This SO answer[1] has some nice details on it.
Best, Gergely [1] http://stackoverflow.com/a/8638219 On 8 Jan 2016 02:29, "Steinar Bang" <s...@dod.no> wrote: > >>>>> Gergely Polonkai <gergely-Jm3h5J/owflsq35pwsn...@public.gmane.org>: > > > You may want to play with gc.pruneexpire. From man git-config: > > > gc.pruneexpire > > When git gc is run, it will call prune --expire 2.weeks.ago. > > Override the grace period with this config variable. The value > > "now" may be used to disable this grace period and always > prune > > unreachable objects immediately. > > > This seemed to work the first time on one of my repositories (the > longest lived one), so I thought this did the trick, but hasn't worked > on later pushes, unfortunately...:-/ > > To summarize: > I have two different git repositores containing org-mode files. One of > these repositories use git+ssh and has a history going back 6 years with > 708 commits, and one using https and with a history going back 8 months > and 37 commits. > > I have set the values > gc.auto=1 > gc.pruneexpire=now > on both of the remote repositories and all of their clients (where > should the values be set? On the remote or on the clients?). > > The gc.auto setting has been there for a while with no seeming effect, > and adding the gc.pruneexpire setting seemed to work on a single push. > > (I have the possibility to add a hook on the remote, to compress on every > push, or alternatively compress using a cron job, but I thought it would > be more correct if I could convince git to do this on its own) > > -- > You received this message because you are subscribed to the Google Groups > "Git for human beings" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to git-users+unsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "Git for human beings" group. To unsubscribe from this group and stop receiving emails from it, send an email to git-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
