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

Issue 13830 a #94

Closed
wants to merge 3 commits into from
Closed

Issue 13830 a #94

wants to merge 3 commits into from

Conversation

nrmancuso
Copy link
Owner

PLEASE READ before removing

Rules:

  1. The issue you are trying to fix/resolve has to have the "approved" label.
  2. Put in the description of Pull Request the reference to an issue if it exists.
    Example: "Issue: #XXXXXX"
  3. Commit message should adhere to the following rules:
    a) MUST match one of the following patterns:
    ^Issue #\d+: .$
    ^Pull #\d+: .
    $
    ^(minor|config|infra|doc|spelling|dependency): .*$
    b) MUST contain only one line of text
    c) MUST NOT end with a period, space, or tab
    d) MUST be less than or equal to 200 characters

To avoid multiple iterations of fixes and CIs failures, please read
https://checkstyle.org/contributing.html

ATTENTION: We are not merging Pull Requests that are not passing our CIs,
but we will help to resolve issues.

Thanks for reading, remove whole this message and type what you need.

@nrmancuso nrmancuso closed this Dec 28, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant