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 in ssh port option #153

Merged
merged 1 commit into from
Jul 12, 2023
Merged

Add in ssh port option #153

merged 1 commit into from
Jul 12, 2023

Conversation

Mic92
Copy link
Member

@Mic92 Mic92 commented Jul 12, 2023

squashed version of #117

@Lassulus
Copy link
Contributor

@mergify queue

@mergify
Copy link
Contributor

mergify bot commented Jul 12, 2023

queue

🛑 Branch protection settings are not validated anymore

Branch protection is enabled and is preventing Mergify to merge the pull request. Mergify will merge when branch protection settings validate the pull request once again. (detail: You're not authorized to push to this branch. Visit https://docs.github.com/articles/about-protected-branches/ for more information.)

@Lassulus
Copy link
Contributor

@mergify queue

@mergify
Copy link
Contributor

mergify bot commented Jul 12, 2023

queue

🛑 The pull request has been removed from the queue

Pull request #153 has been dequeued due to failing checks or checks timeout.

You can take a look at Queue: Embarked in merge train check runs for more details.

In case of a failure due to a flaky test, you should first retrigger the CI.
Then, re-embark the pull request into the merge queue by posting the comment
@mergifyio refresh on the pull request.

@Mic92
Copy link
Member Author

Mic92 commented Jul 12, 2023

@mergify requeue

1 similar comment
@Lassulus
Copy link
Contributor

@mergify requeue

@mergify
Copy link
Contributor

mergify bot commented Jul 12, 2023

requeue

✅ The queue state of this pull request has been cleaned. It can be re-embarked automatically

@Mic92
Copy link
Member Author

Mic92 commented Jul 12, 2023

@mergify queue

@mergify
Copy link
Contributor

mergify bot commented Jul 12, 2023

queue

✅ The pull request has been merged automatically

The pull request has been merged automatically at a848cb4

@mergify mergify bot merged commit a848cb4 into main Jul 12, 2023
@mergify mergify bot deleted the ssh-port branch July 12, 2023 20:13
@Lassulus Lassulus mentioned this pull request Jul 12, 2023
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