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 shown in pictures above, when there are updates happened within [Pull]PR opened period the pull bot did not create the pull label as expected.
The text was updated successfully, but these errors were encountered:
michaeljin89757
changed the title
Label not creating when upsteam branch updated more than once within [Pull]PR opened period
Label not creating when upsteam branch updates more than once within [Pull]PR opened period
May 23, 2022
The only thing I can think of is GitHub taking its time to calculate mergability state and causing updates to the PR to fail. I need to step through and see if this is the case and report to GitHub. Thanks again!
If anyone can help reproduce this with maybe a couple curls, that would help me tremendously!
The only thing I can think of is GitHub taking its time to calculate mergability state and causing updates to the PR to fail. Or it's not creating PR and not processing the rest of the commands
michaeljin89757/BoTest#3
michaeljin89757/BoTest#2
As shown in pictures above, when there are updates happened within [Pull]PR opened period the pull bot did not create the pull label as expected.
The text was updated successfully, but these errors were encountered: