Патрабуецца браўзер 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.
- Гэта пашырэнне можа мець доступ да вашых дадзеных на ўсіх вэб-сайтах.
- Гэта пашырэнне можа мець доступ да вашых дадзеных на некаторых вэб-сайтах.
Здымкі экрану
Пра пашырэньне
- Загрузкі
- 698
- Катэгорыя
- Developer Tools
- Вэрсія
- 1.1.0
- Памер
- 185.2 КБ
- Last update
- сакавік 22, 2023
- Ліцэнзія
- Copyright 2023 4453db6a-0802-4d92-ac1f-466587991399
- Вэб-сайт сэрвісу
- https://apps.saptarsheebhowmick.in/github-extension
Related
-
SEO-tools
SEO-tools - information about domains, site audit for SEO errors, as well as technical audit of any page. Over 100 online services
Адзнака: Адзнакаў: 20
-
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.
Адзнака: Адзнакаў: 125
-
EditThisCookie
EditThisCookie is a cookie manager. You can add, delete, edit, search, protect and block cookies!
Адзнака: Адзнакаў: 120