I hope you will continue maintaining a mirror in GH. Some tools like deepwiki are excellent resources to learn about a codebase when their is not much documentation going around. But these tools only support pulling from GH.
How is pulling dependent on github?
Git pulling isn't unique to github and it works over http or ssh?
I have the exact opposite experience where I had to block multiple such "excellent resources" from my search results.