The General Services Administration has a roughly 360 million-square-foot portfolio. That volume could shrink.