Add branch protection and mypy check#22

DavidAnderegg merged 2 commits intomainscritical/.github:mainfrom

devscritical/.github:devCopy head branch name to clipboard