make sure make-php-keyring.sh has imported keys successfully
Abierto
bug
- Lenguaje dominante
- Shell
- Estrellas
- 3
- Forks
- 0
- Métricas de merge de PR
- Sin PR fusionados en 30 d
Descripción
fail if some keys are missing.
It happens sometimes that keys are missing after a successful run. The script should fail if that happens.
Guía de contribución
No hay ninguna guía de contribución indexada para este repositorio
Evaluación
Este issue todavía no se ha evaluado.