Use GitHub to create pull requests.
- If you have a trivial fix or improvement, go ahead and create a pull request,
addressing (with
@...
) the maintainer of this repository (see MAINTAINERS.md) in the description of the pull request.
Use GitHub to create pull requests.
@...
) the maintainer of this repository (see
MAINTAINERS.md) in the description of the pull request.