Council verdict: TIME_REVIEW takes several seats, votes count per seat, TIME_REVIEW_TIEBREAK on a tie #122

Merged
time merged 10 commits from time/card-77 into main 2026-10-18 04:59:26 +00:00
10 Commits
Author SHA1 Message Date
time 8e75fe3a34 card #77: kept CHANGELOG.md (generated)
ci / test (pull_request) Successful in 34s
heartbeat / tick (pull_request_review) Successful in 4s
2026-10-18 04:47:24 +00:00
time ff94827e72 card #77: kept .github/time/test_time.py (generated)
time/worker-run grep -c "ALL OK 77" /tmp/o.txt; python3 - <<'PYEOF' p = "CHANGELOG.md" s = open(p).read() m = "### A
2026-10-18 04:47:19 +00:00
time 584788d2de card #77: kept .github/time/test_time.py (generated)
time/worker-run python3 - <<'PYEOF' p = ".github/time/test_time.py" s = open(p).read() old = 'w = council({"haiku":
2026-10-18 04:47:14 +00:00
time 565a5bd03c card #77: kept .github/time/test_time.py (generated)
time/worker-run python3 - <<'PYEOF' p = ".github/time/test_time.py" s = open(p).read() old = 'w.reviews_posted[0][1]
2026-10-18 04:47:11 +00:00
time e3b651de47 card #77: kept .github/time/test_time.py (generated)
time/worker-run python3 - <<'PYEOF' p = ".github/time/test_time.py" s = open(p).read() old = '''prd = {"number": 7,
2026-10-18 04:47:05 +00:00
time f3b42dc030 card #77: kept .github/time/test_time.py (generated)
time/worker-run python3 - <<'PYEOF' p = ".github/time/test_time.py" s = open(p).read() old = '''# a lone Approve of
2026-10-18 04:46:59 +00:00
time 578a4f680d card #77: kept .github/time/time.py (generated)
time/worker-run cat > /tmp/edit5.py <<'PYEOF' p = ".github/time/test_time.py" s = open(p).read() marker = 'print("AL
2026-10-18 04:46:29 +00:00
time b16034004e card #77: kept .github/time/time.py (generated)
time/worker-run cat > /tmp/edit4.py <<'PYEOF' p = ".github/time/time.py" s = open(p).read() def sub(old, new): g
2026-10-18 04:46:08 +00:00
time 0591985331 card #77: kept .github/time/time.py (generated)
time/worker-run cat > /tmp/edit3.py <<'PYEOF' p = ".github/time/time.py" s = open(p).read() a = s.index(" cast =
2026-10-18 04:45:52 +00:00
time 6fed6705e8 card #77: kept .github/time/time.py, .github/time/seats.json (generated)
time/worker-run cat > /tmp/edit2.py <<'PYEOF' p = ".github/time/time.py" s = open(p).read() def sub(old, new): g
2026-10-18 04:45:07 +00:00