Skip to content

Instantly share code, notes, and snippets.

@ryan-williams

ryan-williams/marin#1567.md

Last active September 16, 2025 20:24
Show Gist options
  • Save ryan-williams/96d00bb76e1fb76010443999ef07c12b to your computer and use it in GitHub Desktop.
Save ryan-williams/96d00bb76e1fb76010443999ef07c12b to your computer and use it in GitHub Desktop.
Download ZIP
marin-community/marin#1567 - 2-way sync via github-pr.py (ryan-williams/git-helpers)
Raw
marin#1567.md

marin-community/marin#1567 Extract executor code (to marin-community/thalas)

Description

Replaces marin.execution with marin-community/thalas.

Notes / TODOs

  • Some doc pages are currently claude-generated links to the thalas repo.
    • May want to improve them (or link to real Thalas docs, when those exist).
    • That can also be follow-up work.
  • pyproject.toml points at thalas @ c2c4de7 (post-thalas#4); don't merge this until we depend on a proper thalas PyPI release.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment