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
When adding a new user, the bot raises a PR then pushes a second commit to it. The gap in between where there's an open PR with only one of two commits pushed can sometimes be minutes.
The bot should either just put both changes in the same commit (preferred, because to commit one change without the other wouldn't make sense in this case) or at least not push or raise the PR until it's made both commits locally.
The text was updated successfully, but these errors were encountered:
When adding a new user, the bot raises a PR then pushes a second commit to it. The gap in between where there's an open PR with only one of two commits pushed can sometimes be minutes.
The bot should either just put both changes in the same commit (preferred, because to commit one change without the other wouldn't make sense in this case) or at least not push or raise the PR until it's made both commits locally.
The text was updated successfully, but these errors were encountered: