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

Restructure extras directory #1900

Closed
heplesser opened this issue Jan 29, 2021 · 1 comment
Closed

Restructure extras directory #1900

heplesser opened this issue Jan 29, 2021 · 1 comment
Labels
I: No breaking change Previously written code will work as before, no one should note anything changing (aside the fix) S: Normal Handle this with default priority T: Maintenance Work to keep up the quality of the code and documentation.

Comments

@heplesser
Copy link
Contributor

The extras directory contains a considerable number of files of quite different nature and purpose. We should structure it into thematic subdirectories and improve the README.
@terhorstd terhorstd added I: No breaking change Previously written code will work as before, no one should note anything changing (aside the fix) S: Normal Handle this with default priority T: Maintenance Work to keep up the quality of the code and documentation. labels Feb 2, 2021
@terhorstd
Copy link
Contributor

Duplicate of #291.

@gtrensch gtrensch moved this to Done in Installation Jun 14, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
I: No breaking change Previously written code will work as before, no one should note anything changing (aside the fix) S: Normal Handle this with default priority T: Maintenance Work to keep up the quality of the code and documentation.
Projects
Installation
Status: Done
Milestone
No milestone
Development

No branches or pull requests
2 participants
@heplesser @terhorstd