marin

Update: superseded by #4

✅ Use filter-marin-executor.sh to extract executor code
- Run git-filter-repo on a Marin clone:
  - Create filtered history (just executor and related files)
  - In PR-merge-commit subjects, rewrite #XXX to marin-community/marin#XXX
- Create empty initial commit https://github.com/Open-Athena/thalas/commit/f27eaad1984cd5ebf782edc42f2487e917e401d9
- Rebase filtered history on it
✅ Add commits:
- https://github.com/Open-Athena/thalas/commit/3b2ccdda7ce02e428ab5da92a381a893c7dcf593:
  - Add project files whose history wasn't worth replaying (e.g. README.md)
  - Rename src/{marin,thalas}/, update imports
- https://github.com/Open-Athena/thalas/commit/812031d090665f424a749c361b62b33fe9f38882: skip a macOS-failing test
✅ Push empty initial commit (https://github.com/Open-Athena/thalas/commit/f27eaad1984cd5ebf782edc42f2487e917e401d9) to main
⏳ This PR: rewritten history + subsequent changes → main

See gist for scripts and more info.