Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Remove the OME gate #2715

Open
wants to merge 1 commit into
base: master
Choose a base branch
from
Open

Remove the OME gate #2715

wants to merge 1 commit into from

Conversation

pwalczysko
Copy link
Member

@pwalczysko pwalczysko commented Feb 14, 2025

Gate has been intentionally shut down today.

  1. Removing the mentions of OME gate from
  1. Also removing two .yml files history/OME-gate-22.yml and history/OME-gate-443.yml

cc @jburel

@pwalczysko pwalczysko requested a review from jburel February 14, 2025 12:24
@pwalczysko
Copy link
Member Author

@jburel any objections to merging this ? (I do not have the perms) The cleaning up of the two dangling open issues would be welcome.

@jburel
Copy link
Member

jburel commented Feb 27, 2025

@pwalczysko it cannot be merged due to conflicts

@pwalczysko
Copy link
Member Author

@pwalczysko it cannot be merged due to conflicts

Conflicts fixed now, ta.

@pwalczysko
Copy link
Member Author

@pwalczysko it cannot be merged due to conflicts

Conflicts fixed now, ta.

The conflicts are back. I believe they are coming automatically, as the main branch is changing under the feet of this PR quite quickly.
If we do not merge just after I fix the conflict, then we will be in vicious circle for a long time.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants