What's the status?

[lambdakilo]

Last PR has been from 2019. I wonder did we make a difference.

[HalfWhitt]

Came here wondering the same thing. I never heard about GitHub's involvement, specifically, when this letter was written. But I'm wondering if that contract was ever canceled, and what the current status is of any involvement between GitHub and ICE.