Skip to content
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.

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

Check comments for mandatory fields #805

Closed
ClemensLinnhoff opened this issue May 2, 2024 · 0 comments · Fixed by #806
Closed

Check comments for mandatory fields #805

ClemensLinnhoff opened this issue May 2, 2024 · 0 comments · Fixed by #806
Assignees
Labels
Bug Problems in the build system, build scripts, etc or faults in the interface.
Milestone

Comments

@ClemensLinnhoff
Copy link
Contributor

Describe the bug

In some fields it is still noted as a comment if they are mandatory, e.g. \note This field is mandatory instead of using the rule is_set

Describe the expected behavior

Always use rule is_set when field is considered mandatory.

@ClemensLinnhoff ClemensLinnhoff added the Bug Problems in the build system, build scripts, etc or faults in the interface. label May 2, 2024
@ClemensLinnhoff ClemensLinnhoff added this to the V3.7.0 milestone May 2, 2024
@ClemensLinnhoff ClemensLinnhoff self-assigned this May 2, 2024
@ClemensLinnhoff ClemensLinnhoff linked a pull request May 3, 2024 that will close this issue
6 tasks
@pmai pmai closed this as completed in #806 May 6, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Bug Problems in the build system, build scripts, etc or faults in the interface.
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant