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
runbook_gql: PR is already merged, but the local branch points to a different commit than the merged commit.
add_component: PR is already merged, but the local branch points to a different commit than the merged commit.
In this case a user shouldn't have to manually run git branch -D and then av tidy