You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
728 B
728 B
name | about | label |
---|---|---|
Pull request | Create a pull request | triage me |
Thank you for opening a Pull Request! Before submitting your PR, there are a few things you can do to make sure it goes smoothly:
- Make sure to open a GitHub issue as a bug/feature request before writing your code! That way we can discuss the change, evaluate designs, and agree on the general idea
- Ensure the tests and linter pass (
./gradlew spotlessApply
to automatically apply formatting) - Appropriate docs were updated (if necessary)
Is this your first Pull Request?
- Run
./tools/setup.sh
- Import the code formatting style as explained in the setup script.
Fixes #<issue_number_goes_here> 🦕