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 (#7)
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