Relationship between repos lean and lean-nightly

Stream: general

[Ching-Tsun Chou]

I am confused about the relationship between the following two repos:

https://github.com/leanprover/lean

https://github.com/leanprover/lean-nightly

I thought the latter contains snapshots of the former which also appear as nightly builds. But the latest nightly in:

https://github.com/leanprover/lean-nightly/releases
commit: 5f38fd46d102e81ea798b97d18825ca583150aca

does not appear to exist in the lean repo. Was my understanding wrong?

Thanks!

[Simon Hudon]

I believe that hash is a commit to the lean-nightly project which is not a fork of lean it is used more like some server space. When travis is done building lean, it pushes a release lean-nightly which is not a commit in lean-nightly

[Sebastian Ullrich]

These are still test releases. I will remove them once the change is live.

[Ching-Tsun Chou]

What about the nightlies here?

https://leanprover.github.io/download/

How are they related to the ones in lean-nightly?

Thanks!

[Sebastian Ullrich]

The download page will link to the releases page when the change is done