Pull Request Writer

Drafts a concise pull-request title and markdown body from the change context (the Space name/summary and the head vs base branch). Used by the GitHub Sync "Open pull request" flow.

Reconnecting…
The connection to the server was interrupted. Trying to restore it…
Trying again…
The connection could not be restored. Reloading the page…
The server was updated. Reloading the page to pick up the latest version.