Move to GitHub merge queues.

[vext01]

Any squashing to be done?

[ltratt]

I think the two commits should be separate.

[jacob-hughes]

@vext01 This one should be ready to re-review and merge.

[vext01]

I think @ltratt is better qualified for yksom changes.

[jacob-hughes]

Sure, but I think you'll need to do the final sign off because Laurie opened the PR.

[ltratt]

Yes, @vext01 you need to review this please.

[vext01]

Please squash.

[jacob-hughes]

Squashed

[jacob-hughes]

Ok so when https://github.com/softdevteam/alloy/pull/101 lands, this should be merge-able :)

[vext01]

sorry, i didn't see it had failed.

[jacob-hughes]

It's a rustfmt problem. I've fixed it here: 9aa838, let me know if I can squash.

[vext01]

Go ahead.

[jacob-hughes]

Squashed

[vext01]

Did you forget to sign the commit?

[jacob-hughes]

Weird! My gpg-agent has failed. Can I force-push an update?

[vext01]

Please push a signed commit.

[jacob-hughes]

Force-pushed a signed commit.

[jacob-hughes]

Ugh I’ve not seen that one before.

[vext01]

16:41:47 thread 'main' panicked at src/lib/vm/core.rs:404:13:
16:41:47 Not enough stack space to execute block.

ouch.

[vext01]

Any news on this one?

[ltratt]

That's one for @jacob-hughes.

[jacob-hughes]

@vext01 You should be able to merge this one now :)