Apparently it's for the server-side component, but even then... Polling every 15 minutes seems like such overkill.

He could register a webhook for ReleaseEvent [0]. To make the process fault-tolerant, he could also have a daily check.

[0] https://developer.github.com/v3/activity/events/types/#relea...