You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I think it would be best if this were implemented as an entirely new command--clean_stale, say. Or it could be rolled into the existing clean command. It has a different purpose, but could be done as options to the clean command. #21508 already mentions making the clean command work properly. I've usually found that the built-in setup.py clean command is not always as useful as one would like, so it might be worth extending anyways.
This is a follow-up on #21604 (comment 10-12)
Depends on #21604
CC: @jdemeyer @embray
Component: build
Issue created by migration from https://trac.sagemath.org/ticket/21654
The text was updated successfully, but these errors were encountered: