You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Right now, there's a lot of scripts in ./scripts/github-ci which we don't use and/or which don't use useful tools which were developed later (e.g., ./scripts/list_packages.py). It would be nice to review the scripts we have in there, deciding which ones we should drop, which ones we should keep, and which ones we should keep but also update.
Changes made to satisfy this issue should be done on a feature branch with an associated PR, given the potential for disruption to our workflows.
The text was updated successfully, but these errors were encountered:
Right now, there's a lot of scripts in
./scripts/github-ci
which we don't use and/or which don't use useful tools which were developed later (e.g.,./scripts/list_packages.py
). It would be nice to review the scripts we have in there, deciding which ones we should drop, which ones we should keep, and which ones we should keep but also update.Changes made to satisfy this issue should be done on a feature branch with an associated PR, given the potential for disruption to our workflows.
The text was updated successfully, but these errors were encountered: