Apa itu Mighty GitHub PRs?

Mighty GitHub PRs adalah ekstensi Chrome yang dikembangkan oleh adam.graf, dan fitur utamanya adalah "Restyle Pull Request screen for easier navigation and more focused review sessions.".

Screenshot Ekstensi

Unduh Berkas CRX Ekstensi Mighty GitHub PRs

Unduh file ekstensi Mighty GitHub PRs dalam format crx, pasang ekstensi Chrome secara manual di peramban, atau bagikan file crx dengan teman untuk menginstal ekstensi Chrome dengan mudah.

Petunjuk Penggunaan Ekstensi

This is an extension to restyle Pull Request screen for easier navigation and more focused review sessions in GitHub (public or any private/enterprise edition).

Main features:
- works on corporate enterprise domains, you just need to enable in the context menu of the extension in Chrome toolbar:
- shows file tree on the left hand side
- folders are collapsible
- folders are as concise as possible (if a folder containing on single folder it is merged with parent in visualization)
- deleted files are red and crossed through in file tree
- seen files become non-highlighted once seen
- only one single file's diff is shown if a file is selected from the tree
- large, visible Approve and Needs work buttons added ('Need work' button automatically adds a generic 'Please fix review items' comment.)
- clutter is reduced - elements on the top of the page is eliminated in the file navigation view to eliminate visual noise

Informasi Dasar Ekstensi

Nama	Mighty GitHub PRs
ID	hopnfcjjghjpkfdiffabbpcpnhcpkceg
URL Resmi	https://chromewebstore.google.com/detail/mighty-github-prs/hopnfcjjghjpkfdiffabbpcpnhcpkceg
Deskripsi	Restyle Pull Request screen for easier navigation and more focused review sessions.
Ukuran File	39.5 KB
Jumlah Instalasi	118
Versi Saat Ini	1.1.1
Terakhir Diperbarui	2021-03-29
Tanggal Publikasi	2019-11-12
Penilaian	5.00/5 Total 3 Penilaian
Pengembang	adam.graf
Email	[email protected]
Tipe Pembayaran	free
Situs Ekstensi	https://github.com/netgrafe/mighty-github-prs
URL Halaman Bantuan	https://github.com/netgrafe/mighty-github-prs
Bahasa yang Didukung	en
manifest.json
{ "update_url": "https:\/\/clients2.google.com\/service\/update2\/crx", "name": "Mighty GitHub PRs", "version": "1.1.1", "description": "Restyle Pull Request screen for easier navigation and more focused review sessions.", "manifest_version": 2, "icons": { "48": "mighty-github-icon-48x48.png", "128": "mighty-github-icon-128x128.png", "192": "mighty-github-icon-192x192.png" }, "browser_action": { "default_icon": { "48": "mighty-github-icon-48x48.png", "128": "mighty-github-icon-128x128.png", "192": "mighty-github-icon-192x192.png" } }, "permissions": [ "tabs", "contextMenus", ":\/\/.github.com\/" ], "optional_permissions": [ "http:\/\/\/", "https:\/\/\/" ], "background": { "scripts": [ "webext-permissions-events-polyfill.js", "webext-dynamic-content-scripts.js", "webext-domain-permission-toggle.js", "background.js" ] }, "content_scripts": [ { "matches": [ "https:\/\/.github.com\/*" ], "css": [ "pr-optimizer.css" ], "js": [ "pr-optimizer.js" ] } ] }