Skip to content

Conversation

@alvagante
Copy link
Member

Before submitting your PR

  1. Open an issue and refer to its number in your PR title
  2. If it's a bug and you have the solution, go on with the PR!
  3. If it's a new profile got with the PR (possibly with docs, samples and tests)

After submitting your PR

  1. Verify Travis checks and fix the errors if needed
  2. Feel free to ping us if we don't reply promptly

@alvagante alvagante merged commit e94f09e into main Apr 16, 2025
1 check was pending
@alvagante alvagante deleted the development branch April 16, 2025 19:52
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.

2 participants