teahubxyz/time
1
0 Fork 0
Code Issues 65 Pull Requests 22 Actions Packages Projects Releases Wiki Activity

Cards adopt an open PR that already closes them (review and land it instead of dispatching a worker) #110

Merged
time merged 4 commits from time/card-93 into main 2026-10-18 04:39:49 +00:00
Conversation 2 Commits 4 Files Changed 3
+80
4 Commits
Author SHA1 Message Date
teahubxyzandClaude Fable 5.1 07add84355 changelog: take main's seats line, move the adoption line down so the two inserts no longer collide
ci / test (pull_request) Successful in 34s
Details 
#116 and this PR both added their line right under "### Added"; git sees two different inserts at one point and refuses to
merge. The branch now carries main's line where main put it and its own line at the end of the list.

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_017K4vyY3yUD3GsvoZaAtKkD
 2026-10-18 04:35:42 +00:00
time 5a18288853 card #93: kept .github/time/time.py, .github/time/test_time.py (generated)
time/worker-run python3 .github/time/test_time.py >/tmp/o 2>&1; echo $?; grep -c "ALL OK 13b" /tmp/o; git diff HEAD
2026-10-18 04:27:01 +00:00
time e4e5e0713d card #93: kept .github/time/time.py, .github/time/test_time.py (generated)
ci / test (pull_request) Successful in 35s
Details
time/worker-run cd .github/time && python3 - <<'E' s=open('time.py').read() s=s.replace(''' if state is N
2026-10-18 02:06:25 +00:00
time 6eac9461c0 card #93: kept CHANGELOG.md, .github/time/time.py, .github/time/test_time.py (generated)
time/worker-run cd .github/time && python3 - <<'EOF' p='time.py' s=open(p).read() s=s.replace('''def pr_diff(number:
2026-10-18 02:06:10 +00:00