- 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