Readd ping release generation tasks.

GitHub releases just look nicer than plain tags.