One of the repositories we had listed in the public-credentials@w3.org in mls.json was archived (via Github) and the reporting to the mailing list stopped being delivered shortly thereafter. I'm not 100% sure that is the issue, but thought I'd raise this to see if archival of a repository could cause an error. I've since removed that repository in PR #252 and will be able to report back if it works correctly after next Monday. Just mentioning it here in case anyone else hits the same issue.
One of the repositories we had listed in the
public-credentials@w3.org
inmls.json
was archived (via Github) and the reporting to the mailing list stopped being delivered shortly thereafter. I'm not 100% sure that is the issue, but thought I'd raise this to see if archival of a repository could cause an error. I've since removed that repository in PR #252 and will be able to report back if it works correctly after next Monday. Just mentioning it here in case anyone else hits the same issue.