|
|
da9dcd7b1c
|
packaging: Fix push-new-version
- Stop color codes being sent to sed from git-grep.
|
2022-12-06 23:07:09 +10:00 |
|
|
|
d8aef62647
|
packaging: Quieter push-new-version
- Don't really need to show diff or logs for review.
|
2022-02-25 23:40:31 +10:00 |
|
|
|
be29bf124a
|
packaging: Change update-version to push-new-version
- It also pushes changes and the new tag.
- It was easy to forget to push the new tag.
|
2022-02-23 19:44:59 +10:00 |
|
