Re: [whatwg/streams] Meta: migrate to GitHub Actions (#1041)

I emailed support@github.com:

> I'd like to report a potential bug that I came across in https://github.com/whatwg/streams/pull/1041. When I merged this, I think I used "rebase and merge", but possible it was "squash and merge". It wasn't the default option (a real merge commit) because this repo disables that.
>
> As I merged it, I briefly saw an error about the merge failing because the branch had changed. I don't recall the exact wording. That went away and the PR was then merged.
>
> However, the resulting commit was something I've never seen before: https://github.com/whatwg/streams/pull/1041#issuecomment-643662026

>
> This wasn't an actual merge commit, it had just one parent. This wouldn't have resulted from either of the ways of merging that are enabled in this repo.
I hope that you can check if something strange happened in GitHub internals, and happy to provide any help debugging I can.

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/whatwg/streams/pull/1041#issuecomment-643680592