[codex] merge Tier0 marimo customizations into main#3
Closed
anvsk wants to merge 37 commits into
Closed
Conversation
feat: restore menu button and filter menu items to red-box items only
…test # Conflicts: # marimo/_data/get_datasets.py # marimo/_runtime/commands.py # marimo/_runtime/runtime.py # marimo/_sql/engines/sqlalchemy.py
Author
|
Closing this PR because main is shared by cloud usage and must not receive Enterprise-specific customizations. The same source tree has been migrated to the isolated enterprise-new branch (commit 6d0b043), which will be used by the Enterprise Jenkins image job. |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
4 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
This pull request was authored by a coding agent.
Summary
This PR merges the existing
fix/tier0-schema-filterline intomainso the Enterprise Marimo release image can be built from the repository default branch.The branch contains the complete Tier0 customization history currently carried outside
main, including the Tier0 Docker target, Enterprise UI/runtime integration, PostgreSQL datasource wiring, package installation adjustments, and the latest PostgreSQL schema filtering fixes.Motivation and user impact
The new Enterprise image build job is intended to use
main, but the Tier0-specific Marimo implementation still lives on this feature branch. Buildingmainbefore this PR is merged would therefore omit the Enterprise Docker target and the latest datasource/schema behavior. Merging this branch makesmainthe source of truth for the Enterprise Marimo image.Validation
origin/mainis the direct ancestor oforigin/fix/tier0-schema-filter; the branch is 37 commits ahead with no reverse divergence.--no-commit --no-ffmerge against the latestorigin/main; it completed without conflicts.git diff --checkpassed for the merged diff.No new commits were added during PR preparation; the PR points at the already-pushed feature branch.