readthedocs.org
Pin pip for pip-tools for now
#11756
Merged

Pin pip for pip-tools for now #11756

humitos merged 1 commit into main from humitos/pin-pip-for-pip-tools
humitos
humitos Pin pip for pip-tools for now
993f8335
humitos humitos requested a review 1 year ago
humitos humitos requested a review from stsewd stsewd 1 year ago
auto-assign auto-assign assigned humitos humitos 1 year ago
stsewd
stsewd approved these changes on 2024-11-11
humitos humitos merged 8f9e3638 into main 1 year ago
humitos humitos deleted the humitos/pin-pip-for-pip-tools branch 1 year ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
Labels
Milestone