Since all of congress, supreme court, and all government departments have a government pension fund that congress approves as part of the general budget, I think all government pension funds should be rolled into Social security so that congress has an incentive to fund and make social security work.
I don't think government employees should have the right to a separate and unequal retirement fund.