Add mise config and use ruff for Python linting/tidying

.github/workflows/lint.yml

@@ -11,15 +11,12 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
-      - name: Configure Git
-        run: |
-          git config --global user.email "jdoe@example.com"
-          git config --global user.name "J. Doe"
-      - name: Run install-dev-tools.sh
+      - name: Install mise
         run: |
           set -e
-          mkdir $HOME/bin
-          ./dev/bin/install-dev-tools.sh
+          set -x
+          curl https://mise.run | sh
+          mise install
       - name: Run precious
         run: |
-          PATH=$PATH:$HOME/bin precious lint -a
+          mise exec -- precious lint -a