4ee8e65417
The github release is first created as a draft, when we edit the release notes, we publish it (draft=false), so that the release notification mail contains the full release notes.