devcontainers / devcontainers/devcontainers.github.io

Feature not listed (but PR merged?)

Ouverte
#693 2 commentaires 0 réactions 0 personnes assignées Voir sur GitHub
Langage dominant
HTML
Étoiles
207
Forks
434
Merge moyen
2 j 7 h
PR mergées (30 j)
2

Description

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 :)

Guide de contribution

Ouvrir le guide de contribution

Évaluation

Cette issue n'a pas encore été évaluée.

Recevez les nouvelles issues par e-mail

Un résumé court des issues GitHub adaptées aux débutants.