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 Rust Working Group (bp #893) (bp #1015) #1021

Closed
wants to merge 1 commit into from

Conversation

mergify[bot]
Copy link
Contributor

@mergify mergify bot commented Jan 13, 2021

This is an automated backport of pull request #1015 done by Mergify

Cherry-pick of 6c121ac has failed:

On branch mergify/bp/dashing/pr-1015
Your branch is up to date with 'origin/dashing'.

You are currently cherry-picking commit 6c121ac.
  (all conflicts fixed: run "git cherry-pick --continue")
  (use "git cherry-pick --skip" to skip this patch)
  (use "git cherry-pick --abort" to cancel the cherry-pick operation)

nothing to commit, working tree clean

To fixup this pull request, you can check out it locally. See documentation: https://help.github.com/articles/checking-out-pull-requests-locally/

Mergify commands and options

More conditions and actions can be found in the documentation.

You can also trigger Mergify actions by commenting on this pull request:

  • @Mergifyio refresh will re-evaluate the rules
  • @Mergifyio rebase will rebase this PR on its base branch
  • @Mergifyio update will merge the base branch into this PR
  • @Mergifyio backport <destination> will backport this PR on <destination> branch

Additionally, on Mergify dashboard you can:

  • look at your merge queues
  • generate the Mergify configuration with the config editor.

Finally, you can contact us on https://mergify.io/

Signed-off-by: ruffsl <roxfoxpox@gmail.com>
(cherry picked from commit 438bc79)

Co-authored-by: Ruffin <roxfoxpox@gmail.com>
(cherry picked from commit 6c121ac)
@mergify mergify bot added the conflicts label Jan 13, 2021
@clalancette clalancette deleted the mergify/bp/dashing/pr-1015 branch January 13, 2021 14:32
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.

1 participant