| Commit message (Collapse) | Author | Lines | ||
|---|---|---|---|---|
| 2019-12-13 | Merge enhancement and new feature into a single "feature" issue. | -65/+39 | ||
| 2019-12-12 | Swap the comments around to avoid hasty deletion. | -2/+2 | ||
| 2019-12-12 | "Possible Alternatives" section deferred to "Additional Details". | -8/+2 | ||
| 2019-12-12 | Remove "Possible Issues" sections. | -8/+0 | ||
| 2019-12-12 | Add the requirement to allow PR edits from contributors. | -0/+1 | ||
| 2019-12-12 | Make clearer that PR description is for implementation details. | -2/+2 | ||
| 2019-12-12 | Put additional details and reserve section on all templates. | -0/+25 | ||
| 2019-12-12 | Refine the pull request sections and use proper comments. | -10/+22 | ||
| 2019-12-12 | Remove leftover automatically generated templates. | -60/+0 | ||