<div dir="ltr"><div class="gmail_default" style="font-family:arial,sans-serif">Hi Billy! Thanks for ideas on tagging releases via github. I think we should do so and will try to figure out how to automate this procedure.</div></div>