auto-merge: instant merge after creation [skip ci]

[pxLi]

Signed-off-by: Peixin Li pxli@nyu.edu

issue from an auto-merge PR: #1356 (comment)

[pxLi]

build

[jlowe]

I think removing the 10 second wait (which I never understood the purpose) is a reasonable workaround to reduce the window of opportunity, but the window is still there. I think a better solution is changing the workflow to recognize the merge failed because the SHA changed because new commits were pushed so it can automatically loopback and retry.

So I'm OK with this going in to make it less likely to occur, but I think it could be improved to eliminate this type of error entirely.

[pxLi]

I think removing the 10 second wait (which I never understood the purpose) is a reasonable workaround to reduce the window of opportunity, but the window is still there. I think a better solution is changing the workflow to recognize the merge failed because the SHA changed because new commits were pushed so it can automatically loopback and retry.

So I'm OK with this going in to make it less likely to occur, but I think it could be improved to eliminate this type of error entirely.

yeah, totally agree. since the github API does not give the specific reason for us to identify detailed merge failures, so we may need to add some custom logic in our code. I just created #1363 for a future fix