devcontainers / devcontainers/devcontainers.github.io
Feature not listed (but PR merged?)
Abierto
- Lenguaje dominante
- HTML
- Estrellas
- 207
- Forks
- 434
- Merge medio
- 2 d 7 h
- PR fusionados (30 d)
- 2
Descripción
Hi all. My PR for the feature I maintain #688 was merged but I don't see the feature on https://containers.dev/features
Did I miss a step? LMK what else I need to do :)
Guía de contribución
Evaluación
Este issue todavía no se ha evaluado.