REST releases are now published and notified on github