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

Time updates a PR branch that fell behind its base; a conflict goes to the worker as a revision #190

Merged
time merged 4 commits from time/card-123 into main 2026-10-19 15:11:37 +00:00
Conversation 1 Commits 4 Files Changed 3
+146 -2
4 Commits
Author SHA1 Message Date
time 332484bd24 card #123: kept CHANGELOG.md (generated)
ci / test (pull_request) Successful in 38s
Details
heartbeat / tick (pull_request_review) Canceled after 0s
Details
2026-10-19 14:13:46 +00:00
time 90609cea81 card #123: kept .github/time/test_time.py (generated)
time/worker-run python3 - <<'EOF' p = "CHANGELOG.md" s = open(p).read() line = ("- Time brings a PR branch up to dat
2026-10-19 14:13:38 +00:00
time 36b2b0563a card #123: kept .github/time/test_time.py (generated)
time/worker-run sed -i 's/len(ub_calls) == 1 and len(w.posted) == 1, "the next beat does not merge or post again"/le
2026-10-19 14:13:19 +00:00
time c2ebb2375f card #123: kept .github/time/time.py (generated)
time/worker-run cat > /tmp/blk.py <<'EOF' # 123 an approved PR that no longer merges is brought up to date by Time;
2026-10-19 14:12:14 +00:00