Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix rubocop workflow properly for push trigger
Instead of not running on the push trigger for Dependabot branches, which is not fully effective because it still fails on main when a merge is done by Dependabot due to `@dependabot merge` or similar command, this just specifies the required permissions in the workflow file, as is done e.g. in automatically generated CodeQL workflow files and as suggested in #6. I tested this in https://github.com/EliahKagan/hello-world. See EliahKagan/hello-world#14 including EliahKagan/hello-world@d565b84, EliahKagan/hello-world#15, and EliahKagan/hello-world#16.
- Loading branch information