Github Dates Filter
0
0 Commentaires
0 Enregistré
Introduction :
Améliorer Github avec un filtrage par date
Updated Time
Nov 03 2021
Utilisateurs actifs :
2
Browser Extension
Outils de développement
Github Dates Filter Informations sur l'extension Chrome
Qu'est-ce que l'extension Chrome Github Dates Filter ?
Un outil pour ajouter un filtre de date aux pages des problèmes et des PRs de Github.
Comment utiliser l'extension Chrome Github Dates Filter ?
Il suffit d'installer l'extension du navigateur et de naviguer sur la page des problèmes ou des PRs de Github pour appliquer le filtre de date.
Github Dates Filter Fonctionnalités principales de l'extension Chrome
Filtre de date pour Github
Recherche de date améliorée pour les problèmes et les PRs
Github Dates Filter Cas d'utilisation de l'extension Chrome
#1
Filtrer les problèmes Github par date de création
#2
Trouver les PRs soumis dans une plage de temps spécifique
FAQ de l'extension Chrome Github Dates Filter
Comment installer l'extension du navigateur?
Analyse de l'extension Chrome Github Dates Filter
Github Dates Filter Extension Chrome installée/utilisateurs actifs
Total d'utilisateurs installés/actifs
2 (-1)