The federal public service shed almost 10,000 people last year, with the Canada Revenue Agency and Immigration, Refugees and Citizenship Canada losing the most employees.