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
As suggested in w3c/process#672 (comment), the IPR bot should allow to commit changes within the 45-day grace period according to the process.
Context: the Browser Testing and Tools Working Group got re-chartered and while organizations are re-joining, it is not possible to land pre-existing changes w3c/webdriver-bidi#729
The text was updated successfully, but these errors were encountered:
With that said, for the case of w3c/webdriver-bidi#729, since the substantive part of the contribution was made prior to the group's renewal, I think it should be fine to ignore the IPR bot error and merge the PR (possibly documenting the reasoning on the issue)
The IPR bot aims to follow what the Process and the Patent Policy entail; it could be that my reading is wrong (if so the IPR bot should be fixed); but if it's not, then indeed this would need the Process / Patent Policy to be changed.
As suggested in w3c/process#672 (comment), the IPR bot should allow to commit changes within the 45-day grace period according to the process.
Context: the Browser Testing and Tools Working Group got re-chartered and while organizations are re-joining, it is not possible to land pre-existing changes w3c/webdriver-bidi#729
The text was updated successfully, but these errors were encountered: