horizon -> mainmast#624

Merged

jpolitz merged 14 commits into

May 6, 2026

Commits on Oct 15, 2025

corresponding changes to https://github.com/brownplt/pyret-lang/pull/1839, to refactor how modules obtain the correct jsnums library that now closes over an appropriate errbacks parameter
Ben Lerner
committed

Commits on Mar 18, 2026

Migrate from deprecated Google+ API (plus/v1) to People API (people/v1)

jpolitz
and
claude
committed

Commits on Mar 26, 2026

make sure rotate elts in the table (like roughnums!) don't punch through
schanzer
authored

Commits on Mar 30, 2026

Commits on Apr 7, 2026

Commits on Apr 20, 2026

Fix people API loading racing with sheets API loading
jpolitz
committed

Commits on Apr 28, 2026

Commits on Apr 29, 2026

Rewrite shareurl race more declaratively (Promise.any + side-race)

jpolitz
and
claude
committed

Commits on Apr 30, 2026