For those that would like an alternative, this project has been developed since October 2013, and it too isn't allowed in the WordPress.org repo.

https://github.com/afragen/github-updater