You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
We need to override the github token with a PAT for the machine user so the event is correctly labeled and processed as a pull request event and respective workflows are run.
Per comments here: #61 (comment)
We need to override the github token with a PAT for the machine user so the event is correctly labeled and processed as a pull request event and respective workflows are run.