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.

Sign up for GitHub

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

Jump to bottom

Updates for new deprecation policy #801

Closed
rjyounes opened this issue Mar 19, 2023 · 0 comments
Closed

Updates for new deprecation policy #801

rjyounes opened this issue Mar 19, 2023 · 0 comments
Assignees
@rjyounes
Labels
area: documentation status: implementation specified Implementation has been specified. A developer should be assigned.

Comments

@rjyounes
Copy link
Collaborator

rjyounes commented Mar 19, 2023 •
edited
Loading

  • Define predicate gist:isSupersededBy and apply to deprecated terms where relevant.
  • Move deprecated terms into gistCore and eliminate gistDeprecated.
  • Restore any axioms related to deprecated terms that have been removed.
  • Update GitHub documentation accordingly.
    • Add documentation on how to deprecate a term to Contributing.md.
  • Update Confluence documentation accordingly.
  • Update bundle.yaml.
@rjyounes rjyounes self-assigned this Mar 19, 2023
@rjyounes rjyounes mentioned this issue Mar 23, 2023
Closed
@rjyounes rjyounes added status: implementation specified Implementation has been specified. A developer should be assigned. status: deferred to major release Involves a major change so deferred till next major release. An implementation may be specified. and removed status: deferred to major release Involves a major change so deferred till next major release. An implementation may be specified. labels Mar 23, 2023
@rjyounes rjyounes added area: documentation and removed status: deferred to major release Involves a major change so deferred till next major release. An implementation may be specified. labels Apr 16, 2023
@rjyounes rjyounes closed this as completed May 7, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@rjyounes rjyounes

Labels
area: documentation status: implementation specified Implementation has been specified. A developer should be assigned.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@rjyounes