Batch: agent work from agent-develop #80
Loading…
Reference in a new issue
No description provided.
Delete branch "agent-develop"
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?
One batch of agent work, integrated on
agent-developand conflict-free againstdevelop.Commits:
Merged issue PRs:
Merge pull request 'Issue #66: Docs sync — verify every document against the code and fix the drift' (#69) from issue/66-docs-sync into agent-develop
Merge pull request 'Sync develop into agent-develop' (#61) from develop into agent-develop
Merge branch 'agent-develop' into issue/66-docs-sync
Merge pull request 'Issue #73: Dark/Light/System theme + selector for marketing/ and docs-site/' (#77) from issue/73-theme-selector into agent-develop
CI runs on this PR: the five required contexts on
developmust be green before it is merged.Every contained PR was already green on its own branch.
Refs (#26 etc. - no closing keywords).