[DO NOT MERGE] Tree ops for homu -> new bors transition

[jieyouxu]

Caution

Do not merge. This PR is for tree operations only.

Thread: #t-infra > Testing new bors in production
Announcement: #t-infra/announcements > Transitioning from homu to new bors for `rust-lang/rust`

[jieyouxu]

Closing homu tree in prep of the new bors merge queue switch today.
@/bors treeclosed=1000

[Kobzol]

Trying to reopen the tree for new bors.

@bors2 treeopen

[rust-bors]

Unknown command "2". Run @bors help to see available commands.

[Kobzol]

That's just a funny error message due to some temporary homu compatibility layer, but the commands are being applied 😆

Now let's actually unpause the bot:

@bors2 resume

[rust-bors]

Unknown command "2". Run @bors help to see available commands.

[Kobzol]

@bors2 ping

[rust-bors]

Unknown command "2". Run @bors help to see available commands.

[rust-bors]

Pong 🏓!

[Kobzol]

@bors2 pause

[rust-bors]

Unknown command "2". Run @bors help to see available commands.

[Kobzol]

@bors2 ping

I paused the bot, because we have some permission issues on branches that will need to be fixed.

[rust-bors]

Unknown command "2". Run @bors help to see available commands.

[rust-bors]

Pong 🏓! (bors is paused)

[Kobzol]

@bors2 resume

[rust-bors]

Unknown command "2". Run @bors help to see available commands.

[Kobzol]

@bors2 treeclosed=50

[rust-bors]

Unknown command "2". Run @bors help to see available commands.

[rust-bors]

Tree closed for PRs with priority less than 50

[Kobzol]

New bors merged its first PR here 🎉 Now reopening the bors (not homu!) tree. We'll need to redeploy it to fix some configuration needed for rollups though.

@bors2 treeopen

[rust-bors]

Unknown command "2". Run @bors help to see available commands.

[rust-bors]

Tree is now open for merging

[Kobzol]

@bors2 resume

[rust-bors]

Unknown command "2". Run @bors help to see available commands.

[Kobzol]

@bors2 ping

[rust-bors]

Unknown command "2". Run @bors help to see available commands.

[rust-bors]

Pong 🏓!

[Kobzol]

@bors2 resume

[rust-bors]

Unknown command "2". Run @bors help to see available commands.

[Kobzol]

@bors ping

[rust-bors]

Pong 🏓!

[Kobzol]

I think we can close this now. Homu has been shut down and new bors can just be controlled using normal @bors commands.