chiark / gitweb /
otter cli: When accessing via ssh, make default account be ssh:
[otter.git] / make-release
2021-04-19 Ian Jacksonmake-release: Check changelog
2021-04-19 Ian Jacksonmake-release: Clean up the directory before cargo publish
2021-04-18 Ian Jacksonmake-release: Fix git tag rune
2021-04-18 Ian Jacksonmake-release: Print commands we run due to --real
2021-04-18 Ian Jacksonmake-release: Suggest deploying on chiark
2021-04-18 Ian Jacksonmake-release: Format finish message a bit better
2021-04-18 Ian JacksonNew utility script make-release