GitHub PR Opener door Vincent Labarthe

0 sterren van 5

Versiegeschiedenis van GitHub PR Opener - 2 versies

Wees voorzichtig met oude versies! Deze versies worden voor test- en referentiedoeleinden weergegeven.U dient altijd de meest recente versie van een add-on te gebruiken.
Nieuwste versie
Versie 1.2.0
Uitgegeven op 3 aug. 2026 - 22,62 KB
Werkt met firefox 109.0a1 en later
- You can now open a pull request directly by entering its number, for example 3874, in the address bar or the toolbar popup.
- Entering a branch or ticket name (for example TICKET-1578) still opens the filtered pull-request list as before.
Broncode vrijgegeven onder Alle rechten voorbehouden
Firefox downloaden en de extensie ontvangen
Bestand downloaden
Oudere versies
Versie 1.1.0
Uitgegeven op 29 jul. 2026 - 22,49 KB
Werkt met firefox 109.0a1 en later
Broncode vrijgegeven onder Alle rechten voorbehouden
Bestand downloaden

Nieuwste versie