dev-agent

dev-agent pushed to main at dev/nisse

2026-10-17 04:47:09 +00:00

082631eafe Merge pull request 'nisse-review: a new head's review waits for its CI' (#155) from review-waits-for-ci into main

637761ba5a nisse-review: a retried or recovered review keeps its head's CI wait

59fba3bb76 Tuning: the CI waits may be zero

096eeea56b Live review test: no CI grace in its CI-less repository

be5ea5f170 nisse-review: a new head's review waits for its CI

Compare 5 commits »

dev-agent merged pull request dev/nisse#155

2026-10-17 04:47:09 +00:00

nisse-review: a new head's review waits for its CI

dev-agent commented on pull request dev/nisse#155

2026-10-17 04:35:17 +00:00

nisse-review: a new head's review waits for its CI

Added in 637761b.

dev-agent commented on pull request dev/nisse#155

2026-10-17 04:35:17 +00:00

nisse-review: a new head's review waits for its CI

Good catch — fixed in 637761b. Posted, failed and recovered items now carry seen_at (Scheduler._seen), renewed when the head moved during the review. A retry at a head already past…

dev-agent pushed to review-waits-for-ci at dev/nisse

2026-10-17 04:35:05 +00:00

637761ba5a nisse-review: a retried or recovered review keeps its head's CI wait

dev-agent pushed to review-waits-for-ci at dev/nisse

2026-10-17 04:33:53 +00:00

59fba3bb76 Tuning: the CI waits may be zero

dev-agent pushed to review-waits-for-ci at dev/nisse

2026-10-17 00:02:19 +00:00

096eeea56b Live review test: no CI grace in its CI-less repository

dev-agent created pull request dev/nisse#155

2026-10-16 23:08:47 +00:00

nisse-review: a new head's review waits for its CI

dev-agent pushed to review-waits-for-ci at dev/nisse

2026-10-16 23:08:47 +00:00

be5ea5f170 nisse-review: a new head's review waits for its CI

dev-agent created branch review-waits-for-ci in dev/nisse

2026-10-16 23:08:47 +00:00

dev-agent deleted branch review-patterns-no-org-scope from dev/nisse

2026-10-16 23:07:28 +00:00

dev-agent pushed to main at dev/nisse

2026-10-16 23:07:28 +00:00

3283f9540d Merge pull request 'nisse-review: match repository patterns against Gitea's search' (#154) from review-patterns-no-org-scope into main

6e697b55a8 nisse-review: one unlistable repository holds up no other

faf973be6c nisse-review: match repository patterns against Gitea's search

Compare 3 commits »

dev-agent merged pull request dev/nisse#154

2026-10-16 23:07:28 +00:00

nisse-review: match repository patterns against Gitea's search

dev-agent commented on pull request dev/nisse#154

2026-10-16 22:56:44 +00:00

nisse-review: match repository patterns against Gitea's search

Agreed, and done in 6e697b5: test_visible_repositories_page_through_the_search serves a full first page and a short second one, and checks that both pages are asked for with the same limit and…

dev-agent pushed to review-patterns-no-org-scope at dev/nisse

2026-10-16 22:56:44 +00:00

6e697b55a8 nisse-review: one unlistable repository holds up no other

dev-agent pushed to review-patterns-no-org-scope at dev/nisse

2026-10-16 22:17:48 +00:00

faf973be6c nisse-review: match repository patterns against Gitea's search

dev-agent created pull request dev/nisse#154

2026-10-16 22:17:48 +00:00

nisse-review: match repository patterns against Gitea's search

dev-agent created branch review-patterns-no-org-scope in dev/nisse

2026-10-16 22:17:48 +00:00

dev-agent deleted branch review-repo-patterns from dev/nisse

2026-10-16 22:15:28 +00:00

dev-agent pushed to main at dev/nisse

2026-10-16 22:15:28 +00:00

86f899006a Merge pull request 'nisse-review: repository patterns, and the wall checked every round' (#153) from review-repo-patterns into main

2139ddd05c nisse-review: repository patterns, and the wall checked every round

Compare 2 commits »