I was on the GAE team several years ago and I'd be really surprised if they moved source-of-truth out of google3. They would need massive infrastructure reorgs

I was on the GAE team several years ago and I'd be really surprised if they moved source-of-truth out of google3. They would need massive infrastructure reorgs in order to make that happen, on a product that is very difficult to staff because of tech debt and new shiny things nearby. I bet this is "just" a public mirror (which doesn't mean it wasn't a big effort).