Closed mprorock closed 1 year ago
FYI: I have asked the webmaster to tell me shat it entails to change the short name of a Rec-track publication.
Here are the steps that we will have to follow to officially change the short name of the spec as far as the W3C publication system goes:
data-previous-shortname
attribute at a specific place, see [1] for the detailsOnce this process is started, no new PR should be merged until step (5) has been reached, to avoid versioning problems.
This has to be done only once to add the information to the publication change.
[1] https://www.w3.org/pubrules/doc/rules/?profile=WD#docIDHistory [2] https://github.com/w3c/vc-jwt/blob/197b357151d92f3ec4ca9ef65e69990f2df259db/.github/workflows/auto-publish.yml#L19
cc: @deniak
Adding to the practical aspect in https://github.com/w3c/vc-jwt/pull/115#issuecomment-1620408736, I believe that any such change would require a formal resolution of the WG; just as the decision on the choice of the short name, I guess any change thereof should be on record.
cc @Sakurann @brentzundel
I will open a PR that does 1-3 here: https://github.com/w3c/vc-jwt/pull/115#issuecomment-1620408736
We will old all the PRs after that PR is merged,
We will complete
4 and 5
We will unblock the open PRs.
The issue was discussed in a meeting on 2023-07-12
List of resolutions:
@iherman 1-3 are complete over here:
https://github.com/w3c/vc-jwt/pull/125/commits/c6b17eef668bf195ac37d670d52355ed7a606121
Your instructions seem to be lacking a comment on applying the new short name.
Should I change vc-jwt
to vc-jose-cose
in https://github.com/w3c/vc-jwt/pull/125 ?
Closing this in favor of https://github.com/w3c/vc-jwt/pull/126
putting this adjustment in its own pr
Preview | Diff