Push alerts for COVID-19 tracing