Another article on this pay raise issue stated that the average salary of the 300,000 federal employees in the Washington DC area was over $68,000.
In order to give that additional 1% to these 300,000 DC area employees, it would have cost the government over $200 million. Per year, every year.