Page History

...

• If you are using a web browser, press the three little dots in the top-right corner of the initial comment and select "Edit":
  
• If you are using the Skara CLI tools, run git pr set --body.

Repositories

Can Committers for a project push directly to the project repository?

This depends on the project - some projects (typically those in a prototype phase) give project Committers direct push access, but most opt to use pull requests for contributions.

Should JDK Committers push directly to the openjdk/jdk-sandbox repository?

Yes, JDK Committers (and above) are allowed to push directly to the openjdk/jdk-sandbox repository. See the documentation for the how to name your branches to avoid conflicting with other Committers' branches.

SSH

Keys

How do I generate a private and public SSH key to use with GitHub?

...