You can create a pull request with the edits to the relevant

.md

files.

I don’t have permissions to create a branch. If you create one I might have permissions to commit to it and then create a pull request

You'll need to fork the pantsbuild/pants repo on GitHub. You can then create a branch on your fork and create a pull request from that branch. The documentation at https://www.pantsbuild.org/howto_contribute.html attempts to describe this, but there is a lot of information there.

Thanks! I created this - https://github.com/pantsbuild/pants/pull/6277