|
|
ccde085207
|
Fix release script (remove references to bors)
|
2023-01-26 18:18:51 +01:00 |
|
|
|
2806efa27c
|
Switch from outdated bors r+ to automerge
|
2023-01-26 16:17:31 +01:00 |
|
|
|
8260736716
|
Add option to use non-master branch for releasing
|
2023-01-26 13:34:37 +01:00 |
|
|
|
d1b7158e8a
|
Document release process
|
2023-01-26 12:58:06 +01:00 |
|
|
|
870a20d47f
|
Merge branch 'master' into fast-ci
|
2022-12-12 21:32:38 +01:00 |
|
|
|
9273161c33
|
Fix CHANGELOG generation to list by PR merged date, not created date
|
2022-12-12 17:25:15 +01:00 |
|
|
|
8cc970dea1
|
Release: use --depth 1 to prevent git overload
|
2022-12-07 14:55:43 +01:00 |
|
|
|
6d753e90e6
|
Fix typo in CHANGELOG and release notes generation
|
2022-11-21 19:05:40 +01:00 |
|
|
|
f07514df2b
|
Fixes for make-release.py script
|
2022-11-21 11:07:38 +01:00 |
|
|
|
120e3365a3
|
Add automation script to automate deploying releases on GitHub
"python make-release.py 3.0.0-rc.5"
|
2022-11-19 21:30:46 +01:00 |
|
