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.

Sign up for GitHub

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

Jump to bottom

mergify: add backport strategy #3849

Merged
merged 1 commit into from
Sep 26, 2024
Merged

mergify: add backport strategy #3849

merged 1 commit into from
Sep 26, 2024

Conversation

Fraccaman
Copy link
Member

Describe your changes

Checklist before merging

  • If this PR has some consensus breaking changes, I added the corresponding breaking:: labels
    • This will require 2 reviewers to approve the changes
  • If this PR requires changes to the docs or specs, a corresponding PR is opened in the namada-docs repo
    • Relevant PR if applies:
  • If this PR affects services such as namada-indexer or namada-masp-indexer, a corresponding PR is opened in that repo
    • Relevant PR if applies:

@codecov Codecov
Copy link

codecov bot commented Sep 26, 2024 •
edited
Loading

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 73.03%. Comparing base (36ca7c3) to head (63ae527).
Report is 20 commits behind head on main.

Additional details and impacted files 
@@            Coverage Diff             @@
##             main    #3849      +/-   ##
==========================================
- Coverage   73.04%   73.03%   -0.01%     
==========================================
  Files         340      340              
  Lines      104816   104816              
==========================================
- Hits        76559    76557       -2     
- Misses      28257    28259       +2

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

@tzemanovic tzemanovic added CI merge Ready to merge - mergifyio bot will add the PR to merge queue when all checks pass labels Sep 26, 2024
@mergify mergify bot merged commit 80557a9 into main Sep 26, 2024
24 of 26 checks passed
@mergify mergify bot deleted the fraccaman/improve-mergify branch September 26, 2024 14:17
@tzemanovic tzemanovic restored the fraccaman/improve-mergify branch October 1, 2024 12:49
@mergify mergify bot mentioned this pull request Oct 1, 2024
Closed
3 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@tzemanovic tzemanovic tzemanovic approved these changes

Assignees
No one assigned
Labels
backport-44 CI merge Ready to merge - mergifyio bot will add the PR to merge queue when all checks pass
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@Fraccaman @tzemanovic