html-aria repo should be bound to ARIA

[daniel-montalvo]

w3c/html-aria#537 is block because of IPR issues. This repo should be now bound to ARIA WG as per NEW Charter

I updated w3c.json but this doesn't seem to fix the problem.

[siusin]

I've updated the setting of the repo in https://labs.w3.org/repo-manager/repos. Hope it helps.

[plehegar]

@siusin I'm curious to learn/be reminded on how one can do that... I looked around the ash-nazg intereface yesterday but could not find it...

[plehegar]

(this issue was resolved btw so closing)

[daniel-montalvo]

Hi @siusin @plehegar

I am reopening this because w3c/html-aria#537 still has failing IPR checks.

I would appreciate some guidance on how to make the repo manager aware that the contributors are ARIA participants. I have opened the failing check and then tried the "Revalidate" button, but that does not seem to have any effect.

Thanks in advance!

[deniak]

@daniel-montalvo, this is not a bug from the repository manager. I've followed up on w3c/html-aria#537

[siusin]

@siusin I'm curious to learn/be reminded on how one can do that... I looked around the ash-nazg intereface yesterday but could not find it...

I remember this feature because when @dontcallmedom completed the first version of this tool he explained to us how to import the repos of your own WG. I'm not sure if this process is automatically done now.