Taking down the Microsoft CheckedC repos?

[elee-msft]

I have a question about the original Microsoft CheckedC repos (hi, @dtarditi!). Has everything useful been forked to this organization so that we can take down the Microsoft CheckedC repos? This search link should show everything I'm asking about: https://github.com/search?q=checkedc+owner%3Amicrosoft&type=repositories. David, you can reach me privately at [email protected] if you'd like.

[dtarditi]

@elee-msft Thanks for reaching out. I sent you follow-up email.