Motivation: We should have license header whenever possible. Modifications: Add header to scripts and workflow config Result: More clear licensing
Motivation: Doing releases manually is error-prone, it would be better if we could do it via a workflow Modification: - Add workflow to cut releases - Add related scripts Result: Be able to easily cut a release via a workflow