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
We should check how we can automatically push generated set files to the PR branch (i.e. the branch in the forked repo for which a PR is being opened). That way we can include them in the PR, instead of (automatically) opening a separate PR for those modified set files.
The text was updated successfully, but these errors were encountered:
We should check how we can automatically push generated set files to the PR branch (i.e. the branch in the forked repo for which a PR is being opened). That way we can include them in the PR, instead of (automatically) opening a separate PR for those modified set files.
The text was updated successfully, but these errors were encountered: