Skip to content

Conversation

@oreflow
Copy link
Collaborator

@oreflow oreflow commented Apr 9, 2025

Removing the unused directory

From looking at history and usage at Google, it seems this was just added for some experiment.

Copy link
Member

@vladmos vladmos left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I don't think it adds any burden on the repo, but I don't mind deleting it.

@oreflow oreflow merged commit 16e6ff5 into main Apr 10, 2025
5 checks passed
@oreflow oreflow deleted the buildifier2 branch April 10, 2025 12:19
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