This repository was archived by the owner on Apr 26, 2024. It is now read-only.

Add suffices to scripts in scripts-dev#12137

Merged

DMRobertson merged 4 commits intodevelopfrom

dmr/scripts-dev-suffix

Mar 2, 2022

Commits on Mar 2, 2022

Rename scripts-dev to have suffices
David Robertson
committed
Update references to `scripts-dev`
David Robertson
committed
Changelog
David Robertson
committed
These scripts don't pass mypy
David Robertson
committed