Skip to content

Conversation

@Krastanov
Copy link
Contributor

No description provided.

@DilumAluthge DilumAluthge changed the title explain how to unblock automerge in the nobloc comment explain how to unblock automerge in the noblock comment May 10, 2023
bors bot added a commit that referenced this pull request May 10, 2023
508: explain how to unblock automerge in the `noblock` comment r=DilumAluthge a=Krastanov



Co-authored-by: Stefan Krastanov <github.acc@krastanov.org>
bors bot added a commit that referenced this pull request May 10, 2023
508: explain how to unblock automerge in the `noblock` comment r=DilumAluthge a=Krastanov



Co-authored-by: Stefan Krastanov <github.acc@krastanov.org>
@JuliaRegistries JuliaRegistries deleted a comment from bors bot May 10, 2023
@DilumAluthge
Copy link
Member

bors merge

@JuliaRegistries JuliaRegistries deleted a comment from bors bot May 11, 2023
@bors
Copy link
Contributor

bors bot commented May 11, 2023

Build succeeded!

The publicly hosted instance of bors-ng is deprecated and will go away soon.

If you want to self-host your own instance, instructions are here.
For more help, visit the forum.

If you want to switch to GitHub's built-in merge queue, visit their help page.

@bors bors bot merged commit 8999b00 into JuliaRegistries:master May 11, 2023
@DilumAluthge
Copy link
Member

Thanks @Krastanov!

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