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

Document for new notation plugin installation experience #345

Closed
yizha1 opened this issue Sep 9, 2023 · 4 comments
Closed

Document for new notation plugin installation experience #345

yizha1 opened this issue Sep 9, 2023 · 4 comments
Assignees
@FeynmanZhou
Labels
Stale
Milestone
1.1.0

Comments

@yizha1
Copy link
Contributor

yizha1 commented Sep 9, 2023 •
edited
Loading

This is for Notation v1.1.0 feature Improved UX for Plugin installation/uninstallation
@yizha1 yizha1 added this to the 1.1.0 milestone Sep 9, 2023
@github-actions GitHub Actions
Copy link

This issue is stale because it has been open 60 days with no activity. Remove stale label or comment or this will be closed in 30 days.

@github-actions github-actions bot added the Stale label Nov 11, 2023
@yizha1
Copy link
Contributor Author

yizha1 commented Nov 13, 2023

@FeynmanZhou Assign this issue to you first since you are working on the spec now.

@github-actions github-actions bot removed the Stale label Nov 13, 2023
@github-actions GitHub Actions
Copy link

This issue is stale because it has been open 60 days with no activity. Remove stale label or comment or this will be closed in 30 days.

@github-actions github-actions bot added the Stale label Jan 12, 2024
@github-actions GitHub Actions
Copy link

This issue was closed because it has been stalled for 30 days with no activity.

@github-actions github-actions bot closed this as not planned Won't fix, can't repro, duplicate, stale Feb 12, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@FeynmanZhou FeynmanZhou

Labels
Stale
Projects
None yet
Milestone
1.1.0
Development

No branches or pull requests
2 participants
@FeynmanZhou @yizha1