lean dependabot - Githubissues

leanprover / reservoir

Package registry for Lean/Lake.

https://reservoir.lean-lang.org

Apache License 2.0

16 stars 1 forks source link

lean dependabot #21

Open Seasawher opened 7 months ago

Seasawher commented 7 months ago

Thank you for good app. This is a feature request.

===

Summary: notify Lean update to repo owner

===

Users can select "watch level" for upstream version.

always up-to-date: Automatically open an issue when project's leantoolchain is behind to the latest stable release.
broken: notify only when nightly build failed
ignore: reject notifications

===

other specs are:

archived repository is ignored

Seasawher commented 6 months ago

@oliver-butterley created nice GitHub Action: https://github.com/oliver-butterley/lean-update-action

In my opinion, actions that prompt such automatic updates should be performed automatically unless specifically rejected. Because Lean is still under active development, with monthly releases.