GitHub Actions Sep 21, 2022 seed# Manually set permission for actionhttps://github.com/actions/first-interaction/issues/10https://docs.github.com/en/actions/using-jobs/assigning-permissions-to-jobs#overview