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
Sometimes, we have to wait before synchronizing our downstream (for instance, there's a global merge freeze). There's no way to tell the bot to skip the update except disabling the GitHub action which is not very user-friendly because someone has to remember to enable it back.
It would be useful for the bot to check if a PR already exist and if it has the "hold" label (signalling that it needs to wait), it wouldn't try to update the PR.
The text was updated successfully, but these errors were encountered:
Sometimes, we have to wait before synchronizing our downstream (for instance, there's a global merge freeze). There's no way to tell the bot to skip the update except disabling the GitHub action which is not very user-friendly because someone has to remember to enable it back.
It would be useful for the bot to check if a PR already exist and if it has the "hold" label (signalling that it needs to wait), it wouldn't try to update the PR.
The text was updated successfully, but these errors were encountered: