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: bump gravity bridge #1353

Merged
merged 3 commits into from
Sep 8, 2022
Merged

chore: bump gravity bridge #1353

merged 3 commits into from
Sep 8, 2022

Conversation

robert-zaremba
Copy link
Member

Description

This merges our v1.0.4 release we did a month ago


Author Checklist

All items are required. Please add a note to the item if the item is not applicable and
please add links to any relevant follow up issues.

I have...

  • included the correct type prefix in the PR title
  • added ! to the type prefix if API or client breaking change
  • added appropriate labels to the PR
  • targeted the correct branch (see PR Targeting)
  • provided a link to the relevant issue or specification
  • added a changelog entry to CHANGELOG.md
  • included comments for documenting Go code
  • updated the relevant documentation or specification
  • reviewed "Files changed" and left comments if necessary
  • confirmed all CI checks have passed

Reviewers Checklist

All items are required. Please add a note if the item is not applicable and please add
your handle next to the items reviewed if you only reviewed selected items.

I have...

  • confirmed the correct type prefix in the PR title
  • confirmed all author checklist items have been addressed
  • reviewed state machine logic
  • reviewed API design and naming
  • reviewed documentation is accurate
  • reviewed tests and test coverage
  • manually tested (if applicable)

@robert-zaremba robert-zaremba requested review from a team as code owners September 8, 2022 11:00
@robert-zaremba robert-zaremba changed the title Bump gravity bridge chore: bump gravity bridge Sep 8, 2022
@toteki
Copy link
Member

toteki commented Sep 8, 2022

Reviewed files changed at this point - looks good. Might look different (hopefully smaller) after merge conflicts resolve though.

@robert-zaremba
Copy link
Member Author

This PR targets wrong branch, I will update it.

@robert-zaremba robert-zaremba changed the base branch from main to release/v1.x.x September 8, 2022 15:03
@robert-zaremba robert-zaremba merged commit 6071a0e into release/v1.x.x Sep 8, 2022
@robert-zaremba robert-zaremba deleted the robert/v1.0.4 branch September 8, 2022 16:14
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