Change desk

GitHub

GitHub Actions, permissions and supply-chain changes.