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(master): release 7.1.3 #176

Merged
merged 1 commit into from
Oct 20, 2023
Merged

Conversation

release-please[bot]
Copy link
Contributor

@release-please release-please bot commented Oct 16, 2023

🤖 I have created a release beep boop

7.1.3 (2023-10-17)

Bug Fixes

  • upgraded versions.tf to include minor bumps from tpg v5 (#170) (66add77)

This PR was generated with Release Please. See documentation.

@release-please release-please bot requested a review from a team as a code owner October 16, 2023 18:05
@dpebot
Copy link
Collaborator

dpebot commented Oct 16, 2023

/gcbrun

@release-please release-please bot force-pushed the release-please--branches--master branch from eeb0b16 to eea831a Compare October 16, 2023 18:54
@dpebot
Copy link
Collaborator

dpebot commented Oct 16, 2023

/gcbrun

@release-please release-please bot force-pushed the release-please--branches--master branch from eea831a to d8077f8 Compare October 17, 2023 00:10
@dpebot
Copy link
Collaborator

dpebot commented Oct 17, 2023

/gcbrun

@raz-amir
Copy link

Hi @apeabody and @g-awmalik, I apologize for nagging on this PR but I would appreciate it if you could promote it. Thanks!

@apeabody apeabody merged commit a0e305f into master Oct 20, 2023
6 checks passed
@apeabody apeabody deleted the release-please--branches--master branch October 20, 2023 00:14
@release-please
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.

3 participants