- From: ExE Boss <notifications@github.com>
- Date: Thu, 14 Oct 2021 20:20:40 -0700
- To: whatwg/webidl <webidl@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Friday, 15 October 2021 03:20:52 UTC
> it seems that somehow the branch rename didn't affect this PR and then when the master branch was removed it got automatically closed. That happens when the fork repository or branch was deleted, leaving behind a dangling PR. -- 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/webidl/pull/626#issuecomment-943954244
Received on Friday, 15 October 2021 03:20:52 UTC