Name of PR can't be set automatically based on branch name any more

[jdomag]

I found this issue
where it's stated that this PR allows people to select in the settings that default title for the PR is taken from branch, what is the default of what GH does in the web UI.

I can't see it any more and the PR title is set to the commit message.
It is a best practice to include the ticket number in the branch name, and various automations are based on having the ticket number in the PR name, so setting the PR title to the branch name seems reasonable.

[alexr00]

To verify:

• Install the latest pre-release version of GitHub Pull Requests
• Open a folder which contains a GitHub repo
• Set "githubPullRequests.pullRequestDescription": "branchName"
• Checkout a branch
• Run the command "GitHub Pull Requests: Create Pull Request"
• Verify that the PR title is populated with the branch name.
• Close the "Create" view
• Change the value of githubPullRequests.pullRequestDescription, repeat "GitHub Pull Requests: Create Pull Request" and verify that the new value is respected.