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

Add a 3rd file #44

Merged
merged 1 commit into from
Dec 12, 2023
Merged

Add a 3rd file #44

merged 1 commit into from
Dec 12, 2023

Conversation

jimmygchen
Copy link
Owner

Issue Addressed

Which issue # does this PR address?

Proposed Changes

Please list or describe the changes introduced by this PR.

Additional Info

Please provide any additional information. For example, future considerations
or information useful for reviewers.

@jimmygchen
Copy link
Owner Author

@mergify merge

Copy link

mergify bot commented Dec 12, 2023

merge

❌ Sorry but I didn't understand the command. Please consult the commands documentation 📚.

@jimmygchen
Copy link
Owner Author

no approvals, shouldn't be added to the queue
outdated branch, should automatically update to latest unstable

@jimmygchen
Copy link
Owner Author

@mergify queue

Copy link

mergify bot commented Dec 12, 2023

queue

🟠 The pull request is the 1st in the queue to be merged

#44 is queued for merge.

Required conditions of queue default for merge:

  • check-success=local-testnet-success
  • check-success=test-suite-success

Required conditions to stay in the queue:

  • -draft [:pushpin: queue requirement]
  • -mergify-configuration-changed [:pushpin: queue -> allow_merging_configuration_change setting requirement]
  • any of: [:twisted_rightwards_arrows: queue conditions]
    • all of: [:pushpin: queue conditions of queue default]
      • #approved-reviews-by >= 1
      • check-success=license/cla
      • check-success=target-branch-check

Visit the Mergify Dashboard to check the state of the queue default.

@jimmygchen
Copy link
Owner Author

@mergify queue

Copy link

mergify bot commented Dec 12, 2023

queue

✅ The pull request has been merged automatically

The pull request has been merged automatically at 63d6c91

mergify bot added a commit that referenced this pull request Dec 12, 2023
@mergify mergify bot merged commit 63d6c91 into unstable Dec 12, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants