Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Run the add_header script on every PR and push except master rucio#4980
The `add_header` GitHub Acitons job is running on every pull request. While this enforces the usage of the script, it most of the times creates a lot of noise, since the developer has to change the PR after the test fails. We should have a more intermediate feedback. Running the job on every push seems reasonable.
- Loading branch information