New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Added check for duplicated file names #711

Draft

davidperezgar wants to merge 1 commit into trunk from 710-check-look-for-duplicated-filenames

Member

davidperezgar commented Oct 9, 2024

Fixes #710


          start duplicated names

3553dc9

davidperezgar linked an issue

that may be closed by this pull request

Check: Look for duplicated filenames #710

Open

Member Author

davidperezgar commented Oct 9, 2024

@swissspidy this is the part of badly names that suggested @ernilambar to move it away, so we can work on reflection tests.

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

Reviewers

barrykooij Awaiting requested review from barrykooij barrykooij will be requested when the pull request is marked ready for review barrykooij is a code owner

ernilambar Awaiting requested review from ernilambar ernilambar will be requested when the pull request is marked ready for review ernilambar is a code owner

frantorres Awaiting requested review from frantorres frantorres will be requested when the pull request is marked ready for review frantorres is a code owner

chriscct7 Awaiting requested review from chriscct7 chriscct7 will be requested when the pull request is marked ready for review chriscct7 is a code owner

At least 2 approving reviews are required to merge this pull request.

Labels

None yet