this way, the lint action on pull request will not be triggered (for a small change like changelog/version.txt it seems like a bit much, since the lint has already passed for release-please to have run)
this way, the lint action on pull request will not be triggered (for a small change like changelog/version.txt it seems like a bit much, since the lint has already passed for release-please to have run)