-
-
Notifications
You must be signed in to change notification settings - Fork 35
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Speed up git #1162
Speed up git #1162
Comments
Ah, thanks to StackOverflow I was able to reduce these 33 seconds to .5 seconds! Will create a PR to the OTA docs about this. |
For our crawler there might be other quickfixes such as maybe truncating the git history after git push? |
Indeed, if I run |
It does then give a grafted commit in the log, not sure if that's going to mess things up. I'll try running |
Done |
I did some timing tests on a server with 4Gb memory, and it's way too slow.
When a document declaration has just been added it takes about 9 seconds to crawl it (not ideal but acceptable; this includes launching and stopping the headless browser).
But when a document has a slightly longer history such as Musi then it just gets stuck in
git log
processes:You can also see that
git log Musi
already takes git a long time:I'll investigate ways to speed up
git log
. If that fails then I'll investigate if we can move away from git.The text was updated successfully, but these errors were encountered: