Skip to content
This repository has been archived by the owner on Jun 24, 2024. It is now read-only.

Should we rename to rllm? #421

Closed
philpax started this conversation in Polls
Sep 5, 2023 · 2 comments · 2 replies
Discussion options

You must be logged in to vote

Replies: 2 comments 2 replies

Comment options

You must be logged in to vote
1 reply
@philpax
Comment options

philpax Sep 5, 2023
Maintainer Author

Comment options

philpax
Sep 12, 2023
Maintainer Author

You must be logged in to vote
1 reply
@ggerganov
Comment options

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
3 participants