> On 09 Jun 2017, at 07:36, Jeff King <p...@peff.net> wrote: > > On Thu, Jun 08, 2017 at 02:52:42PM +0200, Lars Schneider wrote: > >>>> It may be that it's the server side that needs to git-prune, and not >>>> your local side? I'm not really certain but you're doing a push which >>>> talks to a remote server. >>> >>> Yes, certainly the position in the output implies that. These days you >>> should see: >>> >>> remote: warning: There are too many... >>> >>> to make it more clear. Perhaps the server is too old to have 860a2ebec >>> (receive-pack: send auto-gc output over sideband 2, 2016-06-05). >> >> Do you know if GHE 2.9.4 has this fix? (Is it OK to ask this here?) >> Context: >> http://public-inbox.org/git/9c2f2ea2-0c59-4ea2-8c8e-10228fb82...@gmail.com/ > > It's probably not the best place to ask, as I don't think there is an > easy way to find the answer unless you have the GHE source code. But the > answer is no, it's in GHE 2.10.0.
OK! > Actually, I guess you could run "git version" on the GHE box; the > version numbers show the latest version of upstream Git that has been > merged. This particular commit is in Git v2.10.0 (coincidental to the > GHE version above; the versions are totally independent). Thanks for the `git version` tip :-) - Lars
