uv
Add filter for install_registry_source_dist_cached on Gentoo
#3071
Merged

Add filter for install_registry_source_dist_cached on Gentoo #3071

charliermarsh merged 1 commit into main from charlie/gentoo
charliermarsh
charliermarsh charliermarsh marked this pull request as ready for review 1 year ago
charliermarsh charliermarsh requested a review from zanieb zanieb 1 year ago
charliermarsh charliermarsh added testing
charliermarsh Add filter for install_registry_source_dist_cached on Gentoo
1b105759
charliermarsh charliermarsh force pushed from 326f590c to 1b105759 1 year ago
charliermarsh charliermarsh enabled auto-merge (squash) 1 year ago
disabled auto-merge 1 year ago
Manually disabled by user
mgorny
charliermarsh
zanieb
zanieb approved these changes on 2024-04-16
charliermarsh charliermarsh merged dd09de2d into main 1 year ago
charliermarsh charliermarsh deleted the charlie/gentoo branch 1 year ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone