Repository navigation

Implement `Game.relabel_players` to reassign the labels of a game's players. - #1065

Merged

tturocy merged 7 commits into

gambitproject:masterfrom

d-kad:relabel_players

Aug 20, 2026

Merged

Implement `Game.relabel_players` to reassign the labels of a game's players.#1065
tturocy merged 7 commits into
gambitproject:masterfrom
d-kad:relabel_players

Commits on Aug 20, 2026
- Add ignore set to CheckPlayerLabel
  d-kad
  committed
  9fee1ab
- Add GameRep::RelabelPlayers
  d-kad
  committed
  b46b5f2
- Add Game.relabel_players; remove Player.label setter
  d-kad
  committed
  d7ed784
- update tests / tutorials
  d-kad
  committed
  ca44f7d
- update api.rst and changelog
  d-kad
  committed
  eeaca77
- Merge branch 'master' into relabel_players
  tturocy
  committed
  d09725e
- Retire GamePlayerRep::SetLabel; route all player relabeling through RelabelPlayers
  
  tturocy
  and
  claude
  committed
  d46d256