There's about a 0% chance that a government agency would change anything about their policies based on what GitHub employees say. Companies that work on government contracts get "report cards" detailing the agency's satisfaction with their performance, and any other government agency can view the reports for that company, so it's in their best interest to try and get favorable reviews by doing what the agency wants.