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

Daily housekeeping: prune merged branches, close spent signals and empty milestones, list the stale #115

Merged
time merged 4 commits from time/card-83 into main 2026-10-18 04:27:12 +00:00
Conversation 1 Commits 4 Files Changed 3
+522
4 Commits
Author SHA1 Message Date
time c793ad4295 card #83: kept .github/time/test_housekeeping.py (generated)
ci / test (pull_request) Successful in 34s
Details
2026-10-18 04:13:53 +00:00
time d09db47ee6 card #83: housekeeping SOP
time/worker-run cd .github/time && sed -i 's|deleted = lambda f: \[w\[1\].split("/branches/")\[1\] for|deleted = lam
2026-10-18 04:13:47 +00:00
time c2d46456b0 card #83: housekeeping tests
time/worker-run cd .github/time && sed -i 's|deleted = lambda f: \[w\[1\].split("/branches/")\[1\] for|deleted = lam
2026-10-18 04:13:30 +00:00
time ac7ce8d70f card #83: housekeeping.py, the daily sweep 2026-10-18 04:13:03 +00:00