add mypy badge

Author: branchv

.github/workflows/ci.yaml

@@ -23,10 +23,9 @@ jobs:
         run: |
           git config --global user.name "GitHub Action"
           git config --global user.email "action@github.com"
-          git config --global init.defaultBranch rendered
           copier -f -d docker=True -d docs=True . build/ && cd build/
           poetry run task lint
       - name: Push rendered project
         run: |
           REMOTE=https://${GITHUB_ACTOR}:${{ secrets.GH_PAT }}@github.com/${GITHUB_REPOSITORY}.git
-          git -C build push -fu $REMOTE rendered
+          git -C build push -fu $REMOTE HEAD:rendered

src/README.md.jinja

@@ -5,7 +5,8 @@
 [![pypi version](https://img.shields.io/pypi/v/{{project_name}}.svg)](https://pypi.org/project/{{project_name}}/)
 [![pypi pyversions](https://img.shields.io/pypi/pyversions/{{project_name}})](https://pypi.org/project/{{project_name}}/)
 {% endif -%}
-[![Code style: black](https://img.shields.io/badge/code%20style-black-000000.svg)](https://github.com/psf/black)
+[![code style: black](https://img.shields.io/badge/code%20style-black-000000.svg)](https://github.com/psf/black)
+[![checked with mypy](http://www.mypy-lang.org/static/mypy_badge.svg)](http://mypy-lang.org/)
 [![pre-commit](https://img.shields.io/badge/pre--commit-enabled-brightgreen?logo=pre-commit&logoColor=white)](https://github.com/pre-commit/pre-commit)
 
 {{project_description}}

src/postgenerate.sh.jinja

@@ -36,5 +36,5 @@ To create your repo:
     $ gh repo create -y {{repo_username}}/{{repo_name}} {% if private %}--private{% else %}--public{% endif %}
 
 To create your PAT:
-    $ gh secret set GITHUB_PAT -b \$GITHUB_TOKEN
+    $ gh secret set GH_PAT -b \$TOKEN
 EOF