docs: update CONTRIBUTORS.md#3704
Conversation
Yeah, it's not listed in the workflow history as triggered at all 🤷♂️ I've opened a PR to try resolve it by skipping the requirement for these automated PRs, assuming that condition doesn't require a trigger first 😅 |
|
The lint workflows is required (in the repository settings), hence GitHub lists it here. But because one action must not trigger other actions in new PRs, the linting action is not actually running. |
Ah I see, in the history of these PRs you're often merging them directly (since you have that ability), otherwise it waits until the branch can be updated with newer changes from Skipping the workflow trigger won't help then? 😕 |
|
Ok, so updating the branch with merge commit that contains the ignore rule for My bad, I'll revert that since this is even worse 🤣 |
Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>

No description provided.