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

Remove default prefix manually for release 13.0.0 #1094

Closed
dylan-sa opened this issue May 23, 2024 · 0 comments · Fixed by #1127
Closed

Remove default prefix manually for release 13.0.0 #1094

dylan-sa opened this issue May 23, 2024 · 0 comments · Fixed by #1127
Assignees
@rjyounes
Labels
effort: small Requires less than one day to complete

Comments

@dylan-sa
Copy link
Contributor

dylan-sa commented May 23, 2024 •
edited
Loading

This will be automated in the future, but should be done manually for 13.0 release. Wait until all gistCore.ttl PRs have been merged to remove.

See #898.
@dylan-sa dylan-sa added the effort: small Requires less than one day to complete label May 23, 2024
@dylan-sa dylan-sa self-assigned this May 23, 2024
@dylan-sa dylan-sa moved this from In Triage to To Do in gist Version 13.0.0 May 23, 2024
@rjyounes rjyounes changed the title Remove default prefix for release 13.0 Remove default prefix manually for release 13.0.0 May 23, 2024
@rjyounes rjyounes mentioned this issue May 23, 2024
Open
@rjyounes rjyounes assigned rjyounes and unassigned dylan-sa Jun 18, 2024
@rjyounes rjyounes moved this from To Do to In Progress in gist Version 13.0.0 Jun 19, 2024
@rjyounes rjyounes moved this from In Progress to To Do in gist Version 13.0.0 Jun 19, 2024
@rjyounes rjyounes moved this from To Do to In Progress in gist Version 13.0.0 Jul 10, 2024
@rjyounes rjyounes mentioned this issue Jul 10, 2024
Merged
@rjyounes rjyounes moved this from In Progress to Done in gist Version 13.0.0 Jul 23, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@rjyounes rjyounes

Labels
effort: small Requires less than one day to complete
Projects
No open projects
gist Version 13.0.0
Status: Done
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Merge 13.0.0 release branch to develop semanticarts/gist
2 participants
@rjyounes @dylan-sa