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
Related to DefinitelyTyped/dt-mergebot#248: when this was discussed, the conclusion was that there's no good way to guess when an owner approval is required, and therefore the header should be extended with an optional field for the required approval level. The value should be owner or maintainer.
(Maybe for completeness allow other too? The parser can just ignore the actual value, and leave that for the mergebot to decide what to do with it.)
The text was updated successfully, but these errors were encountered:
Related to DefinitelyTyped/dt-mergebot#248: when this was discussed, the conclusion was that there's no good way to guess when an owner approval is required, and therefore the header should be extended with an optional field for the required approval level. The value should be
owner
ormaintainer
.(Maybe for completeness allow
other
too? The parser can just ignore the actual value, and leave that for the mergebot to decide what to do with it.)The text was updated successfully, but these errors were encountered: