Ah, I thought connecting my account on that page would be enough and I already did that back in 2019.  Though I additionally needed to connect the Repository Manager to my GitHub account, which I did now. Sebastian -- GitHub Notification of comment by SebastianZ Please view or discuss this issue at https://github.com/w3c/csswg-drafts/pull/5171#issuecomment-640917541 using your GitHub accountReceived on Monday, 8 June 2020 22:20:26 UTC
This archive was generated by hypermail 2.4.0 : Tuesday, 5 July 2022 06:42:09 UTC