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.

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

chore: reorganize docs folder with numbered prefixes #1999

Closed
wants to merge 1 commit into from

Conversation

moul
Copy link
Member

@moul moul commented Apr 29, 2024

Continues #1801

TODO:

  • rename files
  • setup linters checking for 404 links
  • fix 404 errors
Contributors' checklist...
  • Added new tests, or not needed, or not feasible
  • Provided an example (e.g. screenshot) to aid review or the PR is self-explanatory
  • Updated the official documentation or not needed
  • No breaking changes were made, or a BREAKING CHANGE: xxx message was included in the description
  • Added references to related issues and PRs
  • Provided any useful hints for running manual tests
  • Added new benchmarks to generated graphs, if any. More info here.

Signed-off-by: moul <94029+moul@users.noreply.github.com>
@moul moul self-assigned this Apr 29, 2024
@moul
Copy link
Member Author

moul commented Apr 29, 2024

@moul
Copy link
Member Author

moul commented May 1, 2024

@leohhhn could you help me continue this PR, please?

@leohhhn leohhhn self-requested a review May 6, 2024 22:16
@leohhhn leohhhn self-assigned this May 15, 2024
@leohhhn
Copy link
Contributor

leohhhn commented May 15, 2024

Hey @moul, I need push permissions to your branch. I've renamed the files as asked, but cannot push :)

@leohhhn
Copy link
Contributor

leohhhn commented May 16, 2024

To not wait for @moul, I've created my own branch for this: #2125. Closing this PR.

@leohhhn leohhhn closed this May 16, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
Status: Done
Status: Done
Status: ✅ Done
Status: No status
Development

Successfully merging this pull request may close these issues.

2 participants