Skip to content

chore(main): release 1.3.0#141

Merged
jeremymcs merged 1 commit into
mainfrom
release-please--branches--main--components--patchdeck
May 28, 2026
Merged

chore(main): release 1.3.0#141
jeremymcs merged 1 commit into
mainfrom
release-please--branches--main--components--patchdeck

Conversation

@github-actions

@github-actions github-actions Bot commented May 25, 2026

Copy link
Copy Markdown
Contributor

🤖 I have created a release beep boop

1.3.0 (2026-05-28)

Features

  • add repo agent instructions (527a93d)
  • add repo agent instructions (24f3e4e)

Bug Fixes

  • count only open issues by default (3d2dd8f)
  • dedupe PatchDeck agent command comments (1e51ea7)
  • hand off issue PRs to verification and babysitter (26a92c3)
  • stop requeueing worked issues (e954c6f)
  • stop requeueing worked issues (1ba3366)

This PR was generated with Release Please. See documentation.

@github-actions github-actions Bot force-pushed the release-please--branches--main--components--patchdeck branch from 6dba13e to 6c3cd53 Compare May 25, 2026 04:03
@github-actions github-actions Bot force-pushed the release-please--branches--main--components--patchdeck branch from 6c3cd53 to e3b1903 Compare May 28, 2026 12:11
@jeremymcs jeremymcs closed this May 28, 2026
@jeremymcs jeremymcs reopened this May 28, 2026
@jeremymcs jeremymcs merged commit 263c14f into main May 28, 2026
7 checks passed
@jeremymcs jeremymcs deleted the release-please--branches--main--components--patchdeck branch May 28, 2026 12:45
@github-actions

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