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

Rename staging_docs to docs and misc #395

Merged

lubosmj merged 2 commits into pulp:main from pedro-psb:rename-docs-dir

Aug 1, 2024

Member

pedro-psb commented Jul 25, 2024 •

edited

Loading

This does:

removes legacy docs
renames staging_docs to docs
rename numbered files (removes the numbers)

github-actions bot added the multi-commit label

Member Author

pedro-psb commented Jul 25, 2024

The CI failure should be fixed when CI updates are merged: #391

pedro-psb added 2 commits

August 1, 2024 11:29


          Rename staging_docs to docs

ea38f70

[noissue]


          Rename numbered files and add summary

8e76c44

[noissue]

lubosmj force-pushed the rename-docs-dir branch from 46ce62e to 8e76c44 Compare

August 1, 2024 09:29

lubosmj approved these changes

View reviewed changes

lubosmj merged commit 7c5ebc2 into pulp:main

11 checks passed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels