Should a public servant get married before they retire to maximise pension benefits?

Yes indeed i am. Perhaps we have accidentally stumbled on a once in a lifetime "win win"opportunity!

If ye do tie the knot, there is an increased age tax credit for a jointly assessed couple I do believe.

Instead of claiming a credit of €245, you now have €490.

Add that to the pot!
 
I suspect the OH may be talking about entitlement to Survivors State Pension.
If the Public pensioner dies, the Widow/Widower of that pensioner is entitled to half that pension plus the State Pension.