Learn more about these different git repos.
Other Git URLs
72b16cd
make the PR description field optional This makes the PR description / initial comment field for on the new PR page/form optional rather than required. Fixes #3530