> Any ideas how to tackle this? Do you maybe remember an upstream > discussion about similar issue?
The latest git-rev news has some blurb about git-commit-graph: https://git.github.io/rev_news/2018/11/21/edition-45/ It says it improves push times, but i wonder if it could also resolve other issues we're having. At least it would improve push time, which does take a few seconds here already. A. -- You can't conquer a free man; the most you can do is kill him. - Robert A. Heinlein
