Thanks for the advise. I should really clean up some of the local branches via git branch -d. If you don’t take it anymore, try: git clean -fd. And doing a git gc --aggressive --prune=now is also not a bad idea.