Full explanation — Muck
To muck is to discard your hand into the dead-card pile, typically at showdown when a player knows they have lost and doesn't want to reveal their cards. On most online platforms, including GGPoker, losing hands are mucked automatically unless the player chooses to show.