Skip to content

Rename seed-people.py to seed_people.py#19

Merged
yoaquim merged 1 commit into
mainfrom
chore/rename-seed-people
May 3, 2026
Merged

Rename seed-people.py to seed_people.py#19
yoaquim merged 1 commit into
mainfrom
chore/rename-seed-people

Conversation

@yoaquim
Copy link
Copy Markdown
Owner

@yoaquim yoaquim commented May 3, 2026

Summary

Test plan

  • All tests pass (94 vitest + 51 pytest)
  • No scripts reference seed-people.py by name (it's only invoked manually)

Underscored filename makes it importable as a Python module without
path hacks. Fixes the need for importlib workarounds in prompt_optim.
@yoaquim yoaquim merged commit 2726f2d into main May 3, 2026
1 check passed
@yoaquim yoaquim deleted the chore/rename-seed-people branch May 3, 2026 12:17
yoaquim added a commit that referenced this pull request May 3, 2026
seed-people.py was renamed to seed_people.py on main (#19), so the
importlib bridge hack is no longer needed. Import directly via
sys.path like the rest of the project's cross-directory imports.
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.

1 participant