Page History

...

• If you are using a web browser, see https://help.github.com/en/github/collaborating-with-issues-and-pull-requests/changing-the-stage-of-a-pull-request
• If you are using the Skara CLI tools, run git pr set --no-draft.

How do I change the title of a pull request?

• If you are using a web browser, click the "Edit" button to the right of pull request's title:
  Image Added
• If you are using the Skara CLI tools, run git pr set --title='New title'.

What is the pull request body?

The body, or description, of a pull request is the initial comment in the pull request. Can be compared to the body of the initial "RFR" email.

How do I change the body of a pull request?

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

SSH

Keys

How do I generate an SSH key?

...