Remove duplicate rule - Githubissues

objectionary / normalizer

Command Line Normalizer of 𝜑-calculus Expressions

https://www.objectionary.com/normalizer/

MIT License

7 stars 2 forks source link

Remove duplicate rule #435

Closed eyihluyc closed 1 month ago

eyihluyc commented 1 month ago

There were two rules named R_MISS, this PR removes one of them

PR-Codex overview

This PR updates the Yegor YAML file and removes unnecessary lines in a Phi file.

Detailed summary

Removed unnecessary lines in int.phi file
Updated output in yegor.yaml file

✨ Ask PR-Codex anything about this PR by commenting with /codex {your question}

0crat commented 1 month ago

@eyihluyc It is not a good idea to name Git branches the way you named this one: "fix-r-miss-duplicate". You've earned -10 points for this: -10 as a basis. Next time, better give your branch the same name as the number of the ticket that you are solving. In this case, a perfect name, for example, would be "434".

0crat commented 1 month ago

@eyihluyc Thanks for the contribution! You've earned +20 points for this: +20 as a basis; +5 for 13 hits-of-code; -5 for 1 comments. Please, keep them coming. Your running balance is -10.

0crat commented 1 month ago

@fizruk Thanks for the review! You've earned +35 points for this: +25 as a basis; +5 for 13 hits-of-code; +5 for 1 comments. Your running balance is -35.