Sounds like your situation was similar to mine. Although not forced out, I retired from the DoD on 12/31/2019....just prior to the federal civil servant shot mandate.
Since I had enough service time to leave with full benefits, even if I hadn’t been planning to already leave, the mandatory shot requirement woulda done it.
And yes, in 2020 traffic was as light as I have ever seen it.
Good for you to make it to your goal. I was thinking i would make one more year, i didn’t need to, i wanted to. So i have a great income and a wonderful wife, both retired now.