Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Bump version of replbox #19

Merged
merged 1 commit into from
Dec 10, 2021
Merged

Bump version of replbox #19

merged 1 commit into from
Dec 10, 2021

Conversation

Zabot
Copy link
Member

@Zabot Zabot commented Dec 10, 2021

New version of replbox with support for evaling files and interpreting.

@Zabot Zabot added the preboop label Dec 10, 2021
@replbot replbot added boop and removed preboop labels Dec 10, 2021
@replbot
Copy link
Member

replbot commented Dec 10, 2021

Good work, this PRs short and easy to review! Promoting to bop.

@replbot replbot added the bop label Dec 10, 2021
Copy link
Contributor

@sergeichestakov sergeichestakov left a comment

Choose a reason for hiding this comment

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

🆙

@replbot replbot removed the boop label Dec 10, 2021
@replbot
Copy link
Member

replbot commented Dec 10, 2021

unbooping: approved

@Zabot Zabot merged commit 57efc31 into nixpkgs-stable-21.11 Dec 10, 2021
@Zabot Zabot deleted the za-replbox-bump branch December 10, 2021 20:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants