GitHub in the Government

Are you part of a US city, state, or federal government organization that uses GitHub for your source hosting? Do you belong to a government-oriented non-profit that uses GitHub? Do…