| 12 Feb 2025 |
 Atemu | What I meant was to use the github mirror | 22:04:49 |
| Atemu | Though thinking about it again, it has a different structure because it can't do sub-paths, only owner/repo | 22:05:49 |
 waltmck | It's only 126GB. I followed these instructions | 22:28:21 |
| Atemu | That's just a local checkout | 22:29:04 |
| Atemu | The full mirror has separate instructions and is enormous | 22:29:29 |
| waltmck | your documentation calls it a local mirror, but sure I see | 22:29:40 |
| Atemu | Oh neat Google removed the instructions on how to set up your own mirror | 22:31:03 |
| waltmck | so you're saying issue would apply to a github mirror as well? | 22:31:12 |
| Atemu | That's always great to see | 22:31:13 |
| Atemu | It'd be a different kind of issue | 22:31:32 |
