Denis Ah-Kang

The dark mode stylesheet was deployed about 2 years ago and we had requests from people to add that feature. While editors could include the stylesheet themselves, it might be...

> the reasoning behind the red flag is that it's important that repo owners DO NOT merge pull requests with unsatisfactory IPR status; I think most repo owners would understand...

Updating ash-nazg to report a status "pending" is pretty easy but it seems the requirement for the green flag will have to be configured on each repo.

Indeed, importing a repository will add a new webhook without checking if there's one already so adding that check can be useful even if we expect a repository to be...

Looking at the logs, it seems you didn't provide enough GH permissions to import the repository. On the [login page](https://labs.w3.org/repo-manager/repo/import), there are 2 links to login. I'm guessing you selected...

> > Can you confirm it was initially transfered to Marcos' account then to W3C? > > I can confirm that. Ok, then we should be good.

> Can the error message be more user friendly? I've been already logged in so I had no chance to read such warning for this import. It should be doable....

Updating the summary text should be fairly easy. However, changing the default detail/summary marker could result in some accessibility issue as described in [a blog post](https://www.scottohara.me/blog/2022/09/12/details-summary.html#impact-of-removing-the-default-disclosure-triangle) from @scottaohara

> @deniak , how does it sound to you and, if ok, can we modify pubrules? LGTM. Note that for Draft Notes, we [do include "Draft" in the sentence](https://www.w3.org/pubrules/doc/rules/?profile=DNOTE#stability) so...

> Does W3C’s API support it? No, W3C actually only records/expose the list of editors (e.g. [alreq editors](https://api.w3.org/specifications/alreq/versions/20231212/editors)). Pubrules only requires the [list of editors](https://www.w3.org/pubrules/doc/rules/?profile=WD#editorSection) so a lot of specs...