Skip to content

chore(main): release 1.3.1#51

Merged
joeseverino merged 1 commit into
mainfrom
release-please--branches--main
Jul 1, 2026
Merged

chore(main): release 1.3.1#51
joeseverino merged 1 commit into
mainfrom
release-please--branches--main

Conversation

@github-actions

@github-actions github-actions Bot commented Jul 1, 2026

Copy link
Copy Markdown
Contributor

🤖 I have created a release beep boop

1.3.1 (2026-07-01)

Bug Fixes

  • hq: include 07 Backlog so cross-cutting tasks reach HQ (#52) (5050ddf)

Performance Improvements

  • repos: one git_repo_snapshot call replaces 6 plumbing calls/repo (#50) (fd9ce9b)

This PR was generated with Release Please. See documentation.

@github-actions github-actions Bot force-pushed the release-please--branches--main branch from d843562 to 121feb2 Compare July 1, 2026 01:24
@joeseverino joeseverino merged commit e0309d6 into main Jul 1, 2026
@joeseverino joeseverino deleted the release-please--branches--main branch July 1, 2026 01:27
@github-actions

github-actions Bot commented Jul 1, 2026

Copy link
Copy Markdown
Contributor Author

🤖 Created releases:

🌻

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant