That article cites old data. In January 2017, federal employmnent was 2.810 million. In November 2019 it was 2.829. Part of the recent increase and decline in the most recent months is related to Census hiring.
https://fred.stlouisfed.org/series/CES9091000001
Thanks, but not convincing at all. Often, government jobs are replaced with contractors, so the only evidence I believe the federal government is decreasing is if the budged actually shrinks, which will never happen.