speed up `git pull`
adding the branch for the github.pldb.com mirror slowed down git pull. figure that out.
(probably just change:)
pldb/.github/workflows/buildGithubDotPldbDotCom.yaml
Alright support team here's my .git/config. How can we make this better? No one should be pulling the github.pldb.com branch automatically. No one. Slow as fuck.
How do we fix?

pldb could contain a submodule which links to the actual github.pldb.com mirror ? without the option --recurse-submodules or --recursive during clone, empty submodules directories should be created.
That's a good idea @SRS-WRKS ! I think we don't even need to make it a submodule. Instead of building a branch with a github workflow, we should just have a repo containing the built static site, and then we just update that repo. That would feed a number of birds with one seed.
Closing this in favor of the other one and https://github.com/breck7/pldb/issues/310