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
{{ message }}
Repository navigation
docs only changes PRs can't be merged because of set_status job requirement #571
When a PR touches only the
docsfolder the resulting PRs can't get a green status. Theset_statusjob is required, but will never be runThe status for maintainer will look like this, never enabling the merge button