Wymagana przeglądarka 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.
- To rozszerzenie może uzyskać dostęp do Twoich danych na wszystkich witrynach.
- To rozszerzenie może uzyskać dostęp do Twoich danych na niektórych witrynach.
Zrzuty ekranu
O rozszerzeniu
- Liczba pobrań
- 698
- Kategoria
- Narzędzia dla programistów
- Wersja
- 1.1.0
- Rozmiar
- 185,2 KB
- Ostatnia aktualizacja
- 22 marca 2023
- Licencja
- Copyright 2023 4453db6a-0802-4d92-ac1f-466587991399
- Witryna usługi
- https://apps.saptarsheebhowmick.in/github-extension
Pokrewne
-
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!
Ocena: Całkowita liczba ocen: 1
-
Web Developer
Adds a toolbar button with various web developer tools. The official port of the Web Developer extension for Firefox.
Ocena: Całkowita liczba ocen: 125
-
Yandex Wordstat Regions
Расширение, возвращает полное дерево регионов РФ в сервис подбора слов Яндекс (wordstat)
Ocena: Całkowita liczba ocen: 2
-
Rabbit URL Opener
Rabbit URL Opener (Rahul Digital) - Bulk URL's Opener Extension just lets you open multiple URLs at once. More about Rabbit URL Opener http://rahuldigital.org/url-opener/ http://rahuldigital.com/url-opener/
Ocena: Całkowita liczba ocen: 5
-
myJDoc
Extension for automatically changing to a selected JavaDocs version
Ocena: Całkowita liczba ocen: 0