Skip to content

Remove humility repl for now#650

Merged
mkeeter merged 1 commit into
masterfrom
mkeeter/rip-humility-repl
May 4, 2026
Merged

Remove humility repl for now#650
mkeeter merged 1 commit into
masterfrom
mkeeter/rip-humility-repl

Conversation

@mkeeter

@mkeeter mkeeter commented May 1, 2026

Copy link
Copy Markdown
Contributor

(staged on #649)

This PR removes humility repl, which is not widely used (and isn't any faster than iterating at the CLI, because it reloads the archive on each call).

@mkeeter
mkeeter requested a review from labbott May 1, 2026 20:53

@labbott labbott left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks repl for your work

@mkeeter
mkeeter force-pushed the mkeeter/update-ratatui branch from 3a48d67 to d8c7579 Compare May 4, 2026 18:32
@mkeeter
mkeeter force-pushed the mkeeter/rip-humility-repl branch 2 times, most recently from bc6a992 to def640b Compare May 4, 2026 19:24
@mkeeter
mkeeter force-pushed the mkeeter/update-ratatui branch from d8c7579 to 0d3d4ed Compare May 4, 2026 19:24
Base automatically changed from mkeeter/update-ratatui to master May 4, 2026 19:55
@mkeeter
mkeeter force-pushed the mkeeter/rip-humility-repl branch from def640b to 259999b Compare May 4, 2026 19:55
@mkeeter
mkeeter merged commit ebaeedd into master May 4, 2026
12 checks passed
@mkeeter
mkeeter deleted the mkeeter/rip-humility-repl branch May 4, 2026 20:27
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.

2 participants