Over time, the CONTRIBUTORS.md file has grown significantly, now reaching 4.1 MB. This is a substantial size, especially considering that anyone who clones the Leo repository also downloads this file, which doesn’t contribute to the functionality of the compiler itself. Given that this file currently accounts for approximately 18% of the entire repository, I would like to propose two possible solutions:
Remove the file altogether, or
Create a separate leo-contributors repository and move the CONTRIBUTORS.md file there.
I understand that this proposal might be sensitive, as it involves recognizing the contributions of many individuals. My intention is not to diminish anyone’s contributions but to optimize the repository for efficiency.
Thank you for considering this proposal with an open mind.
Additionally: There have been numerous issues related to the All-Contributors bot not recognizing usernames that contain dashes. Many of these issues are duplicates and stem from the fact that usernames must be preceded by the @ sign for the bot to recognize them correctly. The All-Contributors bot can handle usernames with dashes, or even multiple dashes, as long as the @ sign is included before the username. For more details, see: GitHub Issue #292.
💥 Proposal
Over time, the CONTRIBUTORS.md file has grown significantly, now reaching 4.1 MB. This is a substantial size, especially considering that anyone who clones the Leo repository also downloads this file, which doesn’t contribute to the functionality of the compiler itself. Given that this file currently accounts for approximately 18% of the entire repository, I would like to propose two possible solutions:
I understand that this proposal might be sensitive, as it involves recognizing the contributions of many individuals. My intention is not to diminish anyone’s contributions but to optimize the repository for efficiency.
Thank you for considering this proposal with an open mind.
Additionally: There have been numerous issues related to the All-Contributors bot not recognizing usernames that contain dashes. Many of these issues are duplicates and stem from the fact that usernames must be preceded by the @ sign for the bot to recognize them correctly. The All-Contributors bot can handle usernames with dashes, or even multiple dashes, as long as the @ sign is included before the username. For more details, see: GitHub Issue #292.
./tests/tests/compiler/additional_benches/big.leo./CONTRIBUTORS.md./examples/battleship/diagram.png./tests/tests/compiler/additional_benches/massive.leo./Cargo.lock./tests/expectations/execution/primitive_casts.out./compiler/passes/src/type_checking/checker.rs./compiler/passes/src/type_checking/check_expressions.rs./compiler/ast/src/functions/core_function.rs./examples/twoadicity/build/main.aleo./examples/hackers-delight/ntzseals/build/main.aleo./examples/hackers-delight/ntzreisers/build/main.aleo./examples/battleship/README.md./compiler/parser/src/parser/expression.rs./tests/expectations/execution/flattened_function_and_inline_matches.out./leo/package/LICENSE.md./errors/LICENSE.md./compiler/span/LICENSE.md./compiler/passes/LICENSE.md./compiler/parser/LICENSE.md......