Please report any changes and updates through GitHub issues and Pull Requests. Thank you for your suggestions!
Often, making a PR adhere to the standards above can be difficult. If the maintainers notice anything that we'd like changed, we'll ask you to edit your PR before merging it. There's no need to open a new PR. Just edit the existing one. If you're unsure how to do that, here is a guide on the different ways you can update your PR so that we can merge it.