- From: Philip Jägenstedt <notifications@github.com>
- Date: Sat, 13 Jun 2020 11:44:03 -0700
- To: whatwg/streams <streams@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Saturday, 13 June 2020 18:44:16 UTC
Success: https://streams.spec.whatwg.org/ Tests on master too: https://github.com/whatwg/streams/runs/768610769 However, I don't understand why the resulting commit is what it is: ``` commit f24f6fcd176689d0d6bfa4733771d8ecd86e3584 Author: Philip Jägenstedt <philip@foolip.org> Date: Sat Jun 13 20:38:09 2020 +0200 Merge pull request #1041 from whatwg/github-actions Meta: migrate to GitHub Actions ``` It's not a merge commit (phew) but how did this happen? I thought I used the rebase option to preserve both commits. When I merged, I also briefly saw a message about master having changed and the merge failing, before it succeeds. Seems like something a bit strange happened on the GitHub side here, and the history isn't pretty as a result. -- 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-643662026
Received on Saturday, 13 June 2020 18:44:16 UTC