Toggle between development environment url's
GitHub Privacy redacts commit and comment creation dates on GitHub. You can choose the level of redaction: only remove minutes and seconds from the dates or even hide day or month.
This extension is only made for Pakistan Hajj Mission - Medina. It works on Data Entry website and this is Developed by Hamza Mughal
Arrgh Some Patchy Goodness to GitHub
Monitor Jenkins build state and node state, and provide some convenient services.
Сounts lines of code on GitHub
Extensions for Mermaid
A browser extension for Chrome, Opera & Firefox that adds Mermaid language support to GitHub. A fork from the not updated GitHub + Mermaid extension.
GitHub Projects Plus
Adds advanced labels management and other functionality to GitHub.
GitHub (Enterprise) Projects Plus
[Deprecated] Adds advanced labels management and other functionality to GitHub.