Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

chore(main): release api 7.13.0 #2137

Merged
merged 1 commit into from
Dec 13, 2022

Conversation

github-actions[bot]
Copy link
Contributor

@github-actions github-actions bot commented Nov 30, 2022

🤖 I have created a release beep boop

7.13.0 (2022-11-30)

Features

  • list and ability to delete psa request created though deleted tokens (#2054) (e150d1f)

Bug Fixes


This PR was generated with Release Please. See documentation.

@github-actions github-actions bot changed the title chore(main): release api 7.12.1 chore(main): release api 7.13.0 Nov 30, 2022
@github-actions github-actions bot force-pushed the release-please--branches--main--components--api branch from ee4033d to 4e1379f Compare November 30, 2022 12:38
@flea89
Copy link
Contributor

flea89 commented Nov 30, 2022

⚠️ Please merge this PR before releasing. It fixes the migration number of the required migration ⚠️

⚠️ Requires a new migration 028031-update-list-keys.sql ⚠️

@gobengo gobengo self-requested a review December 9, 2022 19:37
@adamalton adamalton merged commit c076720 into main Dec 13, 2022
@adamalton adamalton deleted the release-please--branches--main--components--api branch December 13, 2022 10:46
@github-actions
Copy link
Contributor Author

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.

Pinning Service Compliance Checker failures It should be possible to update/replace a pin with the same CID
3 participants