Moving our headers is a problem for users that include all.hpp files because some stuff might not be available after updating to a newer seqan3 release.
We should provide a search-and-replace script that fixes all header includes.
Acceptance Criteria
[ ] Script should replace all headers in a command line provided directory
[ ] Script should be easily extendible for with new headers when we move them
[ ] Script always works for the release immediately following the last one. If you want to update several releases you need to run every release script after one another.
Tasks
[ ] write script
[ ] Discuss with core team were scripts should live within seqan3 repo
Description
Moving our headers is a problem for users that include all.hpp files because some stuff might not be available after updating to a newer seqan3 release.
We should provide a search-and-replace script that fixes all header includes.
Acceptance Criteria
Tasks