Commit 84cf5f4
authored
[Releases] Add a GitHub release config (#7)
[Releases] Add a GitHub release config
### Motivation
This config helps compose release notes easier.
### Modifications
Added a config file that instructs GitHub how to group PRs.
### Result
Releases can be mostly generated now.
### Test Plan
N/A
Reviewed by: simonjbeaumont
Builds:
✔︎ pull request validation (5.8) - Build finished.
✔︎ pull request validation (5.9) - Build finished.
✔︎ pull request validation (nightly) - Build finished.
✔︎ pull request validation (soundness) - Build finished.
#71 parent 19b8e98 commit 84cf5f4
1 file changed
+15
-0
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
| 12 | + | |
| 13 | + | |
| 14 | + | |
| 15 | + | |
0 commit comments