Mighty GitHub PRs Mighty GitHub PRs

Developer Tools
Version: 1.1.1
Last Update: 2021-03-29

Rating

3 ratings
5
4
3
2
1

Total Installs

144

User Reviews
avatar Andras Nemes
2021-09-21

Best tool ever! ?

avatar Andras Nemes
2021-09-21

Best tool ever! ?

avatar Andras Nemes
2021-09-21

Best tool ever! ?

avatar Andras Nemes
2021-09-21

Best tool ever! ?

avatar Andras Nemes
2021-09-21

Best tool ever! ?

avatar Andras Nemes
2021-09-21

Best tool ever! ?

Related Extensions

Name Category Rating Rating Count Installs
extension logo Tree Explorer for Github Developer Tools
(11) 623
extension logo Pretty Pull Requests (Github) Developer Tools
(23) 1,000+
extension logo File Icons for GitHub and GitLab Developer Tools
(36) 10,000+
extension logo GitHub code review Developer Tools
(8) 334
extension logo GitHub File Icons Developer Tools
(7) 3,000+
extension logo GraphQL Network Inspector Developer Tools
(64) 50,000+
extension logo Github Sidebar Developer Tools
(2) 99
extension logo GitHub Diff Explorer Developer Tools
(4) 260
extension logo Better Pull Request for GitHub Developer Tools
(224) 10,000+
extension logo Omnibug Developer Tools
(50) 100,000+
extension logo OctoLinker Developer Tools
(110) 20,000+
extension logo Gitako - GitHub file tree Productivity
(68) 10,000+
extension logo Github Tree Structure Developer Tools
(6) 173
extension logo Refined GitHub Developer Tools
(151) 70,000+
extension logo GitHub Dark Theme Developer Tools
(173) 30,000+
extension logo Wide GitHub Developer Tools
(67) 7,000+
extension logo Enhanced GitHub Developer Tools
(53) 40,000+
extension logo Notifier for GitHub Developer Tools
(52) 10,000+
extension logo Bitbucket Server Extension Developer Tools
(21) 1,000+
extension logo Debugger for Adobe Analytics Productivity
(57) 30,000+
extension logo github.expandinizr Developer Tools
(28) 2,000+
extension logo Diff Navigator for GitHub Developer Tools
(3) 210
extension logo GitHub Issue Link Status Developer Tools
(11) 866
extension logo Sourcegraph Developer Tools
(166) 100,000+