Minecraft wiki entry for pardon, associated text: Specifies the player profile(s) to remove from the banlist.
Must be a collection of game profiles (player profiles), which can be a player name (must be a real one if the server is in online mode), or a player-type target selector.