Between March and December 2020, the largest employers in government saw their shares of the federal workforce shift only slightly.