1000 closed Medley PRs
2 views
Skip to first unread message
Paolo Amoroso
Apr 11, 2026, 5:36:40 AM (6 days ago) Apr 11
to Medley Interlisp core
It looks like we closed 1000 PRs in the 'medley' GitHub repo, congrats all. Of course there are more closed PRs in the other repos such as NoteCards and Loops but this is a nice round milestone.
--
Paolo Amoroso
Apr 11, 2026, 6:13:10 AM (6 days ago) Apr 11
to Medley Interlisp core
Right now in addition to 1000 of Medley we merged the following PRs:
- Maiko: 526
- NoteCards: 21
- LOOPS: 17
- Interlisp.github.io: 295
- online: 67
Reply all
Reply to author
Forward
0 new messages