☰

Github Bors Merge

Adds a button to easily start/stop PR merge when using bors

Auteur
sanket0896
Nombre d'installations quotidiennes
0
Nombre d'installations
6
Évaluations
0 0 0
Version
0.1
Créer
2023-03-16
Mis à jour
2023-03-16
Taille
4,41 ko
Licence
S/O
S'applique à

Vous pouvez également essayer ces scripts connexes :

  • 🤠 Taille d’affichage de l’entrepôt de l’assistant amélioré Github - 🤠 Taille d’affichage de l’entrepôt : sur la recherche de code, la recherche d’entrepôt, la page de problèmes, la liste d’entrepôts d’utilisateurs et la page de référentiel de GitHub, la taille de l’entrepôt sera affichée à côté du nom de l’entrepôt, permettant aux utilisateurs de comprendre rapidement l’échelle de l’entrepôt et d’optimiser leur sélection. Avertissement de développement inactif : si un référentiel n’a pas été mis à jour au cours des six derniers mois, le système ajoutera une invi
  • GitHub téléchargeur de dossiers - Ajouter un bouton de téléchargement，Permet de télécharger facilement des fichiers spécifiques GitHub dossier。
  • Github Liste des langages de code afficher tout - Développer Github Liste des langues sur le référentiel，Afficher chaque langue，Au lieu de cacher de petites pièces“autre”Vers le bas
  • Assistant de saut rapide de l’entrepôt GitHub - 🤠 Assistant de saut rapide d’entrepôt GitHub, spécialement conçu pour aider les utilisateurs à accéder rapidement à leurs propres entrepôts sur GitHub. Il génère un bouton en haut de la barre de navigation.
  • Ouvrir le lien jsdelivr sur github - Ouvrez le lien GitHub sur JSdelivr pour télécharger rapidement des fichiers