| commit | 108dc695fe2a38724aaa8460134d166c217cd880 | |
| author | ffaf1 <fa-ml@ariis.it> | |
| Wed, 12 Jul 2023 19:07:21 +0000 (12 21:07 +0200) | ||
| committer | GitHub <noreply@github.com> | |
| Wed, 12 Jul 2023 19:07:21 +0000 (12 15:07 -0400) | ||
| tree | 63b6489b61af7c10e0e9c50f014f072187058ac8 | treesnapshot (tar.gz zip) |
| parent | ec32da7cf49f8b9870a51eb9864cc13a2ae4046a | commitdiff |
Fix issue/PR templates (#9117)
* Unwrap text in templates
GitHub markdown does not do auto-unwrapping.
* Switch to one-template PR
This Stack Overflow answer [1] details how to have multiple PR templates
on GitHub. The UX is not that immediate (user has to click on preview, and
then another link).
A single page with two templates (where you fill in the one you
pick and erase the other) is more friendly.
[1] https://stackoverflow.com/a/75030350
* Whitespace
* Made PR instruction impersonal
For consistency with other bullet points.
* Unwrap text in templates
GitHub markdown does not do auto-unwrapping.
* Switch to one-template PR
This Stack Overflow answer [1] details how to have multiple PR templates
on GitHub. The UX is not that immediate (user has to click on preview, and
then another link).
A single page with two templates (where you fill in the one you
pick and erase the other) is more friendly.
[1] https://stackoverflow.com/a/75030350
* Whitespace
* Made PR instruction impersonal
For consistency with other bullet points.