|
ed3f58436b
|
Push release commit and tag
[skip ci]
|
2024-11-19 16:25:10 +01:00 |
|
|
68f7b429f7
|
Extract default branch name
|
2024-11-19 15:29:51 +01:00 |
|
|
e5030902c7
|
Infer path of file with version from path of release script
|
2024-11-19 15:26:56 +01:00 |
|
|
eb2177215b
|
Fix make_release script
|
2024-07-12 10:52:01 +02:00 |
|
|
b5b77d165a
|
Make sure to put tags only on master branch
|
2020-11-09 11:18:04 +01:00 |
|
|
8d779b11f6
|
No need for tag message in release script
|
2020-11-06 13:26:41 +01:00 |
|
|
f88ad06221
|
Add make_release script
|
2020-10-22 13:19:11 +02:00 |
|