usage of ground terminal in push button
It is just for shielding the signals routed to the pins of the actual contacts from ESD.
And it can also an extra mounting pin for better mechanical stress handling.