Loading…
Reference in a new issue
No description provided.
Delete branch "fix/1166-1167-bot-posts"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Closes #1166 and #1167.
Timezone (#1167). Every post that shows a session time now reads
Tuesday 13 October at 8:00 pm CDT (<t:…:t> your time): the campaign's zone with its abbreviation, then each reader's own time. The backend adds the campaign's IANA zone to each event'sextra(bot_post_facts.session_facts, andnotification_dm); the bot resolves it withzoneinfoand never prints the name. No zone, or one that does not resolve, falls back to the old<t:…:F>. Applies to poll slots (wide fields, bracket on every line; a 10-slot poll is pinned by a test), the closed poll, time added, confirmed, reminder (keeps the relative time), cancelled, vote counts and the nudge.Person-written text (#1166). No escaping for Discord's parser; structure instead.
plain_name, an allow-list (letters with their combining marks, digits, spaces,' - .; 40 characters).faces.pyand indocs/INTEGRATIONS.md.safe_url(http/https, no whitespace or brackets, the app's host whenQUESTBOARD_PUBLIC_URLis set to a real value).bot/tests/test_faces_text.pyhas a row for every public function infaces; one without a row fails.Additive on the wire: no
BOT_CONTRACT_VERSIONbump. The backend still sendsunlinked_names; the bot only counts them.Verified
On
docker-test(before merging main): bot suite (1181 passed, 31 skipped); backend bot-event modules and the wiki guard tests (187), wider event selection (45); ruff; version and changelog checks.Not run: full backend and frontend suites,
build, anything after merging main (clean merge). Not checkable on dev: the dev bot has no Discord token.🤖 Generated with Claude Code