Le navigateur Opera est nécessaire.
This extension makes GitHub users easily open and view their assigned issues and pull requests and also see their followers. Just provide a GitHub username.
Current features:
Pull Requests: This user's open pull requests.
Issues: This user's open issues.
Followers: This user's followers.
Settings: Provide the GitHub username in the add-on settings.
- Cette extension peut accéder à vos données sur tous les sites.
- Cette extension peut accéder à vos données sur certains sites.
Copies d'écran
À propos de l'extension
- Téléchargements
- 473
- Catégorie
- Outils de développement
- Version
- 1.1.0
- Taille
- 185,2 Kio
- Dernière mise à jour
- 22 mars 2023
- Licence
- Copyright 2023 4453db6a-0802-4d92-ac1f-466587991399
- Site web du service
- https://apps.saptarsheebhowmick.in/github-extension
Similaires
-
DomainUserAgent
This extension changes the UserAgent sent by your browser on a per-domain base. You can set up a different UserAgent for a specific domain, but still use the default one otherwise.
Note : Nombre total de notes : 7
-
Font Inspector
Click on any HTML element to get the font info in a popup!
Note : Nombre total de notes : 7
-
Reddit to Mp4 converter | reditor
redditdownloader.us allows users to download Reddit videos with audio in high quality.
Note : Nombre total de notes : 2
-
Web Developer
Adds a toolbar button with various web developer tools. The official port of the Web Developer extension for Firefox.
Note : Nombre total de notes : 153
-
Pixel converter
Pixel converter is a crucial web development and design tool for converting pixel values into different measurement units like inches, centimeters, or percentages, ensuring consistency across diverse devices and screens in responsive web design.
Note : Nombre total de notes : 0