Repository navigation

feat(tools): change_bot, a bot renames or changes itself, the chief another bot - #192

Merged

httpsphl merged 1 commit into

mainfrom

feat/change-bot

Oct 5, 2026

Merged

feat(tools): change_bot, a bot renames or changes itself, the chief another bot#192
httpsphl merged 1 commit into
mainfrom
feat/change-bot

Commits on Oct 5, 2026
- feat(tools): change_bot lets a bot rename or change itself, and the chief another bot
  httpsphl
  committed
  4aec751