Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Identify new monitored repos #1174

Merged
merged 1 commit into from
Jan 29, 2024
Merged

Identify new monitored repos #1174

merged 1 commit into from
Jan 29, 2024

Conversation

github-actions[bot]
Copy link
Contributor

The following repos have been identified as possibly relevant:

@tidoust tidoust merged commit 51e314b into main Jan 29, 2024
@tidoust tidoust deleted the new-monitor-1706487026 branch January 29, 2024 06:54
tidoust added a commit that referenced this pull request Sep 10, 2024
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.
tidoust added a commit that referenced this pull request Sep 10, 2024
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.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants