## What's Changed * rename `postMerge.ps1` to `.bash` by @Seasawher in https://github.com/leanprover-community/lean-update/pull/147 * Remove develop by @Seasawher in https://github.com/leanprover-community/lean-update/pull/151 * remove bash file by @Seasawher in https://github.com/leanprover-community/lean-update/pull/155 * fix the method of checking for dependencies by @Seasawher in https://github.com/leanprover-community/lean-update/pull/158 * use `actions/checkout@v5` instead of `v4` by @Seasawher in https://github.com/leanprover-community/lean-update/pull/164 * change the way to test by @Seasawher in https://github.com/leanprover-community/lean-update/pull/169 * remove PR template by @Seasawher in https://github.com/leanprover-community/lean-update/pull/170 * organize the inputs of action by @Seasawher in https://github.com/leanprover-community/lean-update/pull/171 * remove redundant doc by @Seasawher in https://github.com/leanprover-community/lean-update/pull/172 * remove .vscode and AGENTS.md by @Seasawher in https://github.com/leanprover-community/lean-update/pull/173 * notification test CI by @Seasawher in https://github.com/leanprover-community/lean-update/pull/174 **Full Changelog**: https://github.com/leanprover-community/lean-update/compare/v0.6.0...v0.7.0

## What's Changed * TEST: submitting PR fails if the target repository is private #134 by @Seasawher in https://github.com/leanprover-community/lean-update/pull/135 * Add `update_lean_toolchain` input to control whether lean-toolchain is updated to latest stable on projects with no dependencies by @TwoFX in https://github.com/leanprover-community/lean-update/pull/142 ## New Contributors * @TwoFX made their first contribution in https://github.com/leanprover-community/lean-update/pull/142 **Full Changelog**: https://github.com/leanprover-community/lean-update/compare/v0.5.0...v0.6.0

## What's Changed * pretty print of build output by @Seasawher in https://github.com/leanprover-community/lean-update/pull/122 * possible bug: if new toolchain exists but mathlib uses old toolchain...? by @Seasawher in https://github.com/leanprover-community/lean-update/pull/130 **Full Changelog**: https://github.com/leanprover-community/lean-update/compare/v0.4.0...v0.5.0

## What's Changed * change owner by @Seasawher in https://github.com/leanprover-community/lean-update/pull/106 * Fix Development problem by @Seasawher in https://github.com/leanprover-community/lean-update/pull/110 * new toolchain in title/body of PR/issue by @Seasawher in https://github.com/leanprover-community/lean-update/pull/114 **Full Changelog**: https://github.com/leanprover-community/lean-update/compare/v0.3.0...v0.4.0

## Summary add `lake build`'s output to issue body ## What's Changed * TEST: log build output by @Seasawher in https://github.com/Seasawher/lean-update/pull/97 **Full Changelog**: https://github.com/Seasawher/lean-update/compare/v0.2.0...v0.3.0

## Summary * avoid creating duplicate issue/PR ## What's Changed * translate comment in sh by @Seasawher in https://github.com/Seasawher/lean-update/pull/88 * test: avoid creating duplicate issues by @Seasawher in https://github.com/Seasawher/lean-update/pull/92 **Full Changelog**: https://github.com/Seasawher/lean-update/compare/v0.1.0...v0.2.0

## Summary * create issue with label. * you can select `lake update` or `lake -R -Kenv=dev update` ## What's Changed * zulip notification → notification by @Seasawher in https://github.com/Seasawher/lean-update/pull/46 * example content is wrong by @Seasawher in https://github.com/Seasawher/lean-update/pull/47 * change description of commit option by @Seasawher in https://github.com/Seasawher/lean-update/pull/48 * remove "theerefore" by @Seasawher in https://github.com/Seasawher/lean-update/pull/49 * remove double negative by @Seasawher in https://github.com/Seasawher/lean-update/pull/50 * option name case by @Seasawher in https://github.com/Seasawher/lean-update/pull/51 * uncapitalize the `SECRET` in README by @Seasawher in https://github.com/Seasawher/lean-update/pull/53 * update README / on zulip message by @Seasawher in https://github.com/Seasawher/lean-update/pull/54 * add description of how to setup zulip workflow by @Seasawher in https://github.com/Seasawher/lean-update/pull/55 * avoid creating duplicate PRs by @Seasawher in https://github.com/Seasawher/lean-update/pull/57 * customize argument of lake update by @Seasawher in https://github.com/Seasawher/lean-update/pull/58 * fix typo by @Seasawher in https://github.com/Seasawher/lean-update/pull/60 * fix typo by @pitmonticone in https://github.com/Seasawher/lean-update/pull/59 * add comment for syntax highlight by @Seasawher in https://github.com/Seasawher/lean-update/pull/61 * add notification test by @Seasawher in https://github.com/Seasawher/lean-update/pull/62 * create label for issue by @Seasawher in https://github.com/Seasawher/lean-update/pull/70 * TEST: try to fix issue in issue body by @Seasawher in https://github.com/Seasawher/lean-update/pull/77 * test: create issue by single script by @Seasawher in https://github.com/Seasawher/lean-update/pull/81 **Full Changelog**: https://github.com/Seasawher/lean-update/compare/v0.0.8...v0.1.0

## Summary add notify output and fix bug ## What's Changed * delete `Usage Examples` section by @Seasawher in https://github.com/Seasawher/lean-update/pull/30 * add notify(boolean) outputs by @Seasawher in https://github.com/Seasawher/lean-update/pull/31 **Full Changelog**: https://github.com/Seasawher/lean-update/compare/v0.0.7...v0.0.8