Creo que la sugerencia de eliminar/quemar la etiqueta push es razonable, realmente esas preguntas no la necesitan y se podrían re-etiquetar con otros valores ya existentes:
- push-notification: para preguntas relacionadas con las notificaciones push, que debería ir junto a una etiqueta de lenguaje (android o javascript). Esta etiqueta cubriría los casos 1 y 4.
- git-push: para preguntas de Git relacionadas a errores o problemas con la actualización de los ficheros remotos. Esta etiqueta cubriría el caso 2.
- pilas: para preguntas sobre
push
en JavaScript (o en otro lenguaje de programación) porque es un método particular. Cubriría el caso 3.
Y quizás nos podríamos plantear renombrar push-notification a notificación-push, por aquello de que estamos en español... pero eso ya sería otro tema.