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

Move or document issues from the old doc repo #3194

Closed
signorecello opened this issue Oct 17, 2023 · 0 comments · Fixed by #3195
Closed

Move or document issues from the old doc repo #3194

signorecello opened this issue Oct 17, 2023 · 0 comments · Fixed by #3195
Labels
enhancement New feature or request

Comments

@signorecello
Copy link
Contributor

Problem

During the migration to the monorepo (#3162) some issues were added to the old repo. In order to archive it, we need to either transfer them back, or quickly document them

Happy Case

Very happy case would be that we can document all of them. But realistically, we should be able to document the small ones and move the big bois here

Alternatives Considered

No response

Additional Context

No response

Would you like to submit a PR for this Issue?

No

Support Needs

No response
@signorecello signorecello added the enhancement New feature or request label Oct 17, 2023
@github-project-automation github-project-automation bot moved this to 📋 Backlog in Noir Oct 17, 2023
@signorecello signorecello mentioned this issue Oct 17, 2023
Merged
2 tasks
@github-project-automation github-project-automation bot moved this from 📋 Backlog to ✅ Done in Noir Oct 19, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request
Projects
Noir
Archived in project
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

feat: old docs issues noir-lang/noir
1 participant
@signorecello