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
Because in order to build a PR, travisCI builds the proposed merge, but it does not have the merge driver set up, any PR which ought to generate new pins or which has lines next to each other changing in the manifest is not going to work.
The text was updated successfully, but these errors were encountered:
Because in order to build a PR, travisCI builds the proposed merge, but it does not have the merge driver set up, any PR which ought to generate new pins or which has lines next to each other changing in the manifest is not going to work.
The text was updated successfully, but these errors were encountered: