È richiesto il browser Opera.
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.
- Questa estensione può accedere ai tuoi dati su tutti i siti web.
- Questa estensione può accedere ai tuoi dati su alcuni siti web.
Screenshot
Informazioni sull'estensione
- Scaricamenti
- 382
- Categoria
- Strumenti per sviluppatori
- Versione
- 1.1.0
- Dimensione
- 185,2 KB
- Ultimo aggiornamento
- 22 Marzo 2023
- Licenza
- Copyright 2023 4453db6a-0802-4d92-ac1f-466587991399
- Sito web del servizio
- https://apps.saptarsheebhowmick.in/github-extension
Correlati
-
Strike Out Nofollow Links
Just strikes out nofollow links via CSS3 selectors.
Giudizio: Numero totale di giudizi: 2
-
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.
Giudizio: Numero totale di giudizi: 6
-
Web Developer
Adds a toolbar button with various web developer tools. The official port of the Web Developer extension for Firefox.
Giudizio: Numero totale di giudizi: 152
-
FullScreen for Opera
Fullscreen, #1 Zoom and Dark Mode more options will get in one
Giudizio: Numero totale di giudizi: 3
-
Box Direct Link Generator
Box Direct Link Generator makes downloading files from Box simple and fast. Just paste a Box shared URL, and the extension will generate a direct download link for you. It also shows useful details like the file name, file size, and file type. With a sleek design and features like a "Copy Link" button, it’s perfect for quickly accessing and sharing files. No more hassle—just easy, direct downloads!
Giudizio: Numero totale di giudizi: 1