É necessário o 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.
- Esta extensão pode aceder aos seus dados em todos os sítios.
- Esta extensão pode aceder aos seus dados em alguns sítios.
Imagens
Sobre a extensão
- Transferências
- 382
- Categoria
- Ferramentas de Programador
- Versão
- 1.1.0
- Tamanho
- 185,2 KB
- Última actualização
- 22 de Março de 2023
- Licença
- Copyright 2023 4453db6a-0802-4d92-ac1f-466587991399
- Sítio do serviço
- https://apps.saptarsheebhowmick.in/github-extension
Relacionado
-
Edit with Paint.Net
Adds a context menu item to send image links directly to Paint.Net photo editor
Avaliação: Número total de avaliações: 4
-
Web Developer
Adds a toolbar button with various web developer tools. The official port of the Web Developer extension for Firefox.
Avaliação: Número total de avaliações: 152
-
PDF API HTML5
Mini SDK JavaScript and APIs library to create PDF file for web apps
Avaliação: Número total de avaliações: 5
-
Copy Title And Url
Copy the title and url in markdown, pukiwiki, html format.
Avaliação: Número total de avaliações: 0
-
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.
Avaliação: Número total de avaliações: 6