Christopher Dignam

@paulgessinger okay, this definitely sounds like a bug then. Do you have the pull request where that issue occurred?

@paulgessinger It looks like it's occurring on this PR: https://github.com/acts-project/acts/pull/1512 One suspect issue is that PR is from a forked repository. Did you allow edits from maintainers in that PR?...

@paulgessinger Okay, I think this is a GitHub API bug. Because your installation has the workflow write permission. Additionally, the PR isn't even touching a workflow file. I'm going to...

My ticket from late October was closed without this being escalated. I got another ping via #857 about this issue, so I've created another GitHub Support ticket. Hopefully I can...

This is still an issue and I'm still trying to get GitHub Support to recognize this as a bug to escalate to an engineer. I think I've given them a...

Here's maybe more streamlined steps. 1. create a repository 2. install a GitHub App on the repository that has permission to Repository Contents, Repository Issues, Repository Pull Requests 4. with...

There is no permission we can request that will allow the GitHub App to update the branch when the difference includes .github/workflow changes. 😞 I tried giving a GitHub App...

GitHub says this is intended behavior > I heard from the engineering team and I understand that the behavior works as it should. > > Adding workflows in this way...

I raised the issue a bit more and GitHub Support said they'd relay my concerns to the engineering team and let me know if there's any response. I'll update this...

I'm open to PRs supporting configuration for this setting. For what it's worth, this health check interval works in production, even if it is a little too frequent