@stamourv the other day, @spall downloaded a github release for 6.12, which doesn’t do the right thing at all (it downloads HEAD TR, for example) and we should fix those or remove them

@samth: I agree that this is bad behavior.

I think our options are (1) somehow turn it off (2) upload something right

GH creates releases automatically from tags, which we use for other purposes. I remember looking for a way to disable that, but didn’t find one. I’ll look again.

Ok, looks like we can at least delete these releases via the api. When I get some time, I’ll try to write a script to delete all releases, and run it every time we release.

and that doesn’t delete the git tag itself?

I don’t think so, but I’ll have to test.