hack: extract release script to generate download info from the release doc

[obnoxxx]

This extracts the script added to the the release process document as in PR #185 from the document.

This script can be invoked to create the downloads section for the release notes for a given release.

[obnoxxx]

I updated the script to fix a shellcheck error caught by the ci.

Now this is not a verbatim extraction from the doc any more.

[phlogistonjohn]

Sorry @obnoxxx but I didn't really mean to make this a fully fledged script. It was more meant as a template someone running the release can use.

[obnoxxx]

@phlogistonjohn wrote:

Sorry @obnoxxx but I didn't really mean to make this a fully fledged script. It was more meant as a template someone running the release can use.

Understood, but I thought that having to copy and paste from the doc lacks a level of convenience that providing an actual script offers.

[obnoxxx]

@phlogistonjohn wrote:

Sorry @obnoxxx but I didn't really mean to make this a fully fledged script. It was more meant as a template someone running the release can use.

I still think that an actual script in the repo adds more real convenience than a copy-and-paste template which is better than no automation but clumsy to use at best (IMHO).

since you are opposed to having this, @phlogistonjohn), should I just go ahead and close this PR?

[phlogistonjohn]

I'm less opposed to it and more 🤷 on having it. if you can get someone else to +1 having it as a script I will be willing to accept it as a separate script. I was also not paying attention to this over the holidays... so don't feel my earlier silence was opposition, just neglect.

[obnoxxx]

@anoopcs9, github says that you requested changes but I can't see any more what it was that you requested.
Kindly asing you to re-review.

[anoopcs9]

@anoopcs9, github says that you requested changes but I can't see any more what it was that you requested.

Because my previous suggestion was resolved without making any changes in the updated version. I've "unresolved" it for now. Let me know what you think.

[obnoxxx]

@anoopcs9 wrote:

@anoopcs9, github says that you requested changes but I can't see any more what it was that you requested.

Because my previous suggestion was resolved without making any changes in the updated version. I've "unresolved" it for now. Let me know what you think.

Thanks for clarifying!

I have now applied and squashed your suggestion.

[anoopcs9]

lgtm, thanks.

[anoopcs9]

@phlogistonjohn @obnoxxx
Sorry, I forgot that this had a priority-review label which then requires just 1 approval for merge.

[phlogistonjohn]

It's fine. Like I said earlier: I didn't think making a full script was worth the effort... but I am ok with it if enough others wanted it.