.github/pull-request.yml: watch "main" branch instead of master

[marc-hb]

Will hopefully fix mysterious CI hangs.

Signed-off-by: Marc Herbert [email protected]

[cujomalainey]

CI recovered in this PR, expediting due to impact.

[cujomalainey]

Looks like everyone has to rebase on top of this PR to get the fix. I re-ran a PR and it didn't pick up the change. I rebased #3974 and that seems to have fixed it, @marc-hb can you confirm and put out a PSA on sof-dev group?

[marc-hb]

Looks like everyone has to rebase on top of this PR to get the fix.

Examples?

I'm surprised you have to actually rebase because by default github actions (and our Jenkins and likely others) test pull/12345/merge which includes the latest tip (as opposed to pull/12345/head that does not). So a fake commit --amend + force push to merely change the git SHA should be enough. Maybe some github button in the web UI is enough. Let me try.

[cujomalainey]

Likely that would work too, rebase just seemed easier

[marc-hb]

So a fake commit --amend + force push to merely change the git SHA should be enough. Let me try.

Confirmed with (unrelated) #3993 .

Of course rebasing works too but that creates useless git range-diff noise. Useless because CI tests pull/12345/merge anyway.

Maybe some github button in the web UI is enough. Let me try.

Found nothing there unfortunately.