Automatically generate and release new single-header

[paramsiddharth]

Automatically generate and release new single-header

On every tag that is pushed, a new release will be created in GitHub Releases and contain the single-header file to be downloaded.

I would like to implement this.

[dumblob]

Sure, just make a PR and describe the steps we (repo owners) would need to do to wire it up. We'll then discuss the particular details :wink:. Thanks!

[paramsiddharth]

Thank you, @dumblob ! Please assign the issue to me, it will help me keep track of it. I'll start working on it.

[dumblob]

Done :wink:.