Skip to content

chore(re_export): direct dev to external (scitex_dev) - #292

Closed
ywatanabe1989 wants to merge 1 commit into
mainfrom
chore/dev-external
Closed

chore(re_export): direct dev to external (scitex_dev)#292
ywatanabe1989 wants to merge 1 commit into
mainfrom
chore/dev-external

Conversation

@ywatanabe1989

Copy link
Copy Markdown
Collaborator

src/scitex/dev/ has zero tracked files; dev already resolved to scitex_dev via the alias finder. Adds external="scitex_dev" + EXTERNAL_REEXPORTS entry for consistency (invariant 49==49).

src/scitex/dev/ has no tracked files (local empty/pycache ghost); dev
already resolved to scitex_dev via the alias finder. Add external= +
EXTERNAL_REEXPORTS for consistency with the other standalone re-exports
(invariant now 49==49).
Base automatically changed from develop to main May 30, 2026 21:28
@ywatanabe1989

Copy link
Copy Markdown
Collaborator Author

Closing as stale — fleet PR/Issue backlog sweep, 2026-08-11.

What this PR attempted: chore(re_export): direct dev to external (scitex_dev)

Why it is being closed: opened 2026-05-29, 73 days ago -- predates the current shape of this codebase.

Nothing is deleted. Branch chore/dev-external still holds every commit, and this PR can be reopened at any time. If the change is still wanted, a fresh PR against today's default branch is the faster path.

@github-actions github-actions Bot locked and limited conversation to collaborators Aug 11, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant