Download page bugs about digital-democracy.org HOT 3 CLOSED

Found the commit that broke this, wondering how that happened... any ideas? @gmaclennan @noffle b56ebb3

there's also a suspicious empty commit right next to it: a4371be

from digital-democracy.org.

Hi @okdistribute this was triggered by push of the tag v6.0.0 on mapeo-desktop that seems to have been pushed to Github on April 6th (see the "chore: Release" CI run https://github.com/digidem/mapeo-desktop/actions). That tag refers to this commit. Because the CI run was triggered by a new git tag, release_latest.js ran. It would have used the version of release_latest.js from that tree which did not include the linux links etc.

We should probably have some kind of check on the release script to make sure it does not run from tags are not on master. It should probably only run on tags that match v*.*.* format or something.

Can you delete your local v6.0.0 tag and push to github so it's deleted there too?

Edit: Looks like I had the tag checked out, so could have been me who accidentally pushed it back.

from digital-democracy.org.

Thanks @gmaclennan, yes it does seem like a 6.0.0 tag was pushed somehow, and likely it referred to a commit that was on v5.0.2, which is consistent with what I saw on the website.

Can you remove that local tag (git tag -d v6.0.0) so it doesn't get pushed again?

Mystery solved!

from digital-democracy.org.