Skip to content

Conversation

@andreabedini
Copy link
Member

@andreabedini andreabedini commented Oct 17, 2025

@angerman
Copy link

As I mentioned the other day, @andreabedini, I think we might want to implement this rather as a rm -fR hadrian script as part of the rebase utilities. The reasoning being, that this will break every time someone modifies hadrian upstream :( It's really bad how git handles this. Ideally it would just record "delete folder hadrian" and then could just apply that.

@andreabedini andreabedini force-pushed the wip/andrea/remove-hadrian branch from d722e1a to 14a1d05 Compare October 29, 2025 02:51
@andreabedini andreabedini changed the title wip/andrea/remove hadrian Remove hadrian Oct 29, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants