Необходим браузер 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.
- У этого расширения есть доступ к вашим данным на всех сайтах.
- У этого расширения есть доступ к вашим данным на некоторых сайтах.
Снимки
О расширении
- Загрузки
- 1 102
- Категория
- Инструменты разработчика
- Версия
- 1.1.0
- Размер
- 185,2 КБ
- Обновлено
- 22 марта 2023 г.
- Лицензионное соглашение
- Copyright 2023 4453db6a-0802-4d92-ac1f-466587991399
- Cайт службы
- https://apps.saptarsheebhowmick.in/github-extension
Похожие
-
myJDoc
Extension for automatically changing to a selected JavaDocs version
Оценка: Всего оценок: 0
-
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.
Оценка: Всего оценок: 1
-
Web Developer
Adds a toolbar button with various web developer tools. The official port of the Web Developer extension for Firefox.
Оценка: Всего оценок: 122
-
Network Information
Useful information about your system's connection including, type, speed, and rtt.
Оценка: Всего оценок: 4
-
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!
Оценка: Всего оценок: 2