In reply to Andy Fragen.

Hi Andy, is "push to deploy" on the GitHub Updater roadmap?