Skip to content

Add CI job to check for deleted files#8727

Open
michaelsproul wants to merge 1 commit intosigp:unstablefrom
michaelsproul:forbidden-files
Open

Add CI job to check for deleted files#8727
michaelsproul wants to merge 1 commit intosigp:unstablefrom
michaelsproul:forbidden-files

Conversation

@michaelsproul
Copy link
Member

Add a job to CI that checks for deleted files which have accidentally been re-added. It seems that every time we delete a major component, it inevitably gets brought back from the dead by a merge conflict.

e.g.

The OTB verification service was deleted here:

Then re-added here:

Then re-deleted here:

The same thing happened with PartialBeaconState recently too.

Additional Info

Adding to .gitignore isn't strong enough, as git will still try to resolve conflicts for files that are on one branch and ignored on the other.

@michaelsproul michaelsproul added ready-for-review The code is ready for review infra-ci labels Feb 2, 2026
@michaelsproul
Copy link
Member Author

Expecting this to fail (due to OTB) until Lion's PR is merged.

@mergify
Copy link

mergify bot commented Feb 2, 2026

Some required checks have failed. Could you please take a look @michaelsproul? 🙏

@mergify mergify bot added waiting-on-author The reviewer has suggested changes and awaits thier implementation. and removed ready-for-review The code is ready for review labels Feb 2, 2026
@dapplion
Copy link
Collaborator

dapplion commented Feb 3, 2026

Will we remember to add new deleted files in this list?

@michaelsproul
Copy link
Member Author

I will 😁

@michaelsproul
Copy link
Member Author

At least it's easier than remembering to check every PR for random files coming back from the dead

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

blocked infra-ci waiting-on-author The reviewer has suggested changes and awaits thier implementation.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants