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

Devel #75

Merged

alvagante merged 1 commit into master from devel

Feb 16, 2024

Member

alvagante commented Feb 16, 2024

Before submitting your PR

Open an issue and refer to its number in your PR title
If it's a bug and you have the solution, go on with the PR!
If it's an enhancement, please wait for our feedback before starting to work on it
Please run puppet-lint on your code and ensure it's compliant

After submitting your PR

Verify Travis checks and eventually fix the errors
Feel free to ping us if we don't reply promptly


          Updates

d2cb5d9

alvagante merged commit f6c970b into master

12 checks passed

alvagante deleted the devel branch

February 16, 2024 21:24

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

Labels

None yet