Pushing to github too long for large repository
We mirror https://foss.heptapod.net/tryton/tryton on GitHub https://github.com/tryton/tryton but very often the task fails because GitHub stop the connection because it takes too much time (even if there are only very few new commits).
Is there a way to speed up the push? We already run hg gexport
before the push but it is still not enough. I suspect it is the number of tags (>9000) that takes so much time.