From 51ec35d70df29c7f0571a772d1462d0cf7da837e Mon Sep 17 00:00:00 2001 From: Francois Daoust Date: Tue, 10 Sep 2024 10:52:26 +0200 Subject: [PATCH] Drop digital-identities entry, now digital-credentials The digital-credentials repo was added to the monitor list back in January (#1174). The digital-identities spec was added shortly afterwards (#1204), but was using a different repository at the time. Then digital-identities became digital-credentials, but we missed that. Instead we recently reviewed the list of monitored specs and decided to add digital-credentials (#1477). That means we have twice the same spec in the list. This update drops the digital-identities entry and adds the name as a former name of digital-credentials, since that's the name under which the spec is now progressing. --- specs.json | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/specs.json b/specs.json index 670ed1a4..5898b082 100644 --- a/specs.json +++ b/specs.json @@ -669,9 +669,13 @@ }, "https://wicg.github.io/datacue/", "https://wicg.github.io/deprecation-reporting/", - "https://wicg.github.io/digital-credentials/", + { + "url": "https://wicg.github.io/digital-credentials/", + "formerNames": [ + "digital-identities" + ] + }, "https://wicg.github.io/digital-goods/", - "https://wicg.github.io/digital-identities/", "https://wicg.github.io/direct-sockets/", "https://wicg.github.io/document-picture-in-picture/", "https://wicg.github.io/document-policy/",