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.

Sign up for GitHub

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

Jump to bottom

check pr 33 #34

Merged

Chizkiyahu merged 3 commits into main from pr33

Nov 6, 2023

Owner

Chizkiyahu commented Nov 6, 2023 •

edited

Loading

mering and others added 3 commits

November 6, 2023 09:29


          Allow deleting multiple explicit packages at once

d094669

This also fixes the repo filtering when specifying packages explicitly


          Quote bash variables correctly

9a81372


          yapf

f600835

Chizkiyahu merged commit bbbab21 into main

20 checks passed

Chizkiyahu deleted the pr33 branch

November 6, 2023 19:47

Chizkiyahu mentioned this pull request

Support multiple package names #33

Closed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet