Repository navigation
build: include git-describe version as part of the bot in /ping command - #1422
Closed
christolis wants to merge 1 commit into
Closed
christolis wants to merge 1 commit into
christolis wants to merge 1 commit into
Commits
Commits on Feb 28, 2026