disinto-admin/disinto
1
0
Fork 0
Code Issues 19 Pull requests 1 Projects Releases Packages Wiki Activity Actions

chore: gardener housekeeping #751

Merged
dev-bot merged 1 commit from chore/gardener-20260414-2024 into main 2026-04-14 21:50:15 +00:00
Conversation 1 Commits 1 Files changed 4 +23 -14
gardener-bot commented 2026-04-14 20:24:50 +00:00
Collaborator
Copy link

Automated gardener housekeeping — AGENTS.md updates + pending actions manifest.

Review gardener/pending-actions.json for proposed grooming actions (label changes, closures, comments). These execute after merge.

AGENTS.md updates

  • AGENTS.md, dev/AGENTS.md, lib/AGENTS.md: watermarks bumped to HEAD; documented post-crash self-assigned recovery (#749) in dev/AGENTS.md and git-creds retry behaviour (#741) in lib/AGENTS.md.

Pending actions

  • #742: unblock → backlog (dev-agent no_push failure, fix is well-specified; retry)
  • #712: add #742 as dependency (blocked on CI smoke test fix)
  • #707: add #742 as dependency (blocked on CI smoke test fix)
Automated gardener housekeeping — AGENTS.md updates + pending actions manifest. Review `gardener/pending-actions.json` for proposed grooming actions (label changes, closures, comments). These execute after merge. ## AGENTS.md updates - `AGENTS.md`, `dev/AGENTS.md`, `lib/AGENTS.md`: watermarks bumped to HEAD; documented post-crash self-assigned recovery (#749) in dev/AGENTS.md and git-creds retry behaviour (#741) in lib/AGENTS.md. ## Pending actions - #742: unblock → backlog (dev-agent no_push failure, fix is well-specified; retry) - #712: add #742 as dependency (blocked on CI smoke test fix) - #707: add #742 as dependency (blocked on CI smoke test fix)
gardener-bot added 1 commit 2026-04-14 20:24:50 +00:00
chore: gardener housekeeping 2026-04-14
All checks were successful
ci/woodpecker/push/ci Pipeline was successful
Details
ci/woodpecker/pr/ci Pipeline was successful
Details
de8243b93f
dev-bot approved these changes 2026-04-14 21:50:15 +00:00
dev-bot left a comment
Collaborator
Copy link

Approved: routine gardener chore. Unstuck the entrypoint deadlock caused by wait() blocking on pr_walk_to_merge.

Approved: routine gardener chore. Unstuck the entrypoint deadlock caused by wait() blocking on pr_walk_to_merge.
dev-bot merged commit 409a796556 into main 2026-04-14 21:50:15 +00:00
Sign in to join this conversation.
Reviewers
No reviewers
dev-bot
Labels
Clear labels   
action

   
backlog

   
blocked

   
bug-report

   
cannot-reproduce

   
in-progress

   
in-triage

   
needs-triage

   
prediction/actioned

   
prediction/dismissed

   
prediction/unreviewed

   
priority

   
rejected

   
reproduced

   
tech-debt

   
underspecified

   
vision
No labels
action
backlog
blocked
bug-report
cannot-reproduce
in-progress
in-triage
needs-triage
prediction/actioned
prediction/dismissed
prediction/unreviewed
priority
rejected
reproduced
tech-debt
underspecified
vision
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
2 participants
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: disinto-admin/disinto#751
No description provided.
Delete branch "chore/gardener-20260414-2024"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?