☰

GitHub - Make PRs easier to diff

Add some functionality to github

インストール方法

スクリプトをインストールするには、Tampermonkey, Greasemonkey や Violentmonkey のような拡張機能のインストールが必要です。

You will need to install an extension such as Tampermonkey to install this script.

スクリプトをインストールするには、Tampermonkey や Violentmonkey のような拡張機能のインストールが必要です。

スクリプトをインストールするには、Tampermonkey や Userscripts のような拡張機能のインストールが必要です。

このスクリプトをインストールするには、Tampermonkeyなどの拡張機能をインストールする必要があります。

このスクリプトをインストールするには、ユーザースクリプト管理ツールの拡張機能をインストールする必要があります。

(ユーザースクリプト管理ツールは設定済みなのでインストール！)

インストール方法

このスタイルをインストールするには、Stylusなどの拡張機能をインストールする必要があります。

このスタイルをインストールするには、Stylus などの拡張機能をインストールする必要があります。

このスタイルをインストールするには、Stylus tなどの拡張機能をインストールする必要があります。

このスタイルをインストールするには、ユーザースタイル管理用の拡張機能をインストールする必要があります。

このスタイルをインストールするには、ユーザースタイル管理用の拡張機能をインストールする必要があります。

このスタイルをインストールするには、ユーザースタイル管理用の拡張機能をインストールする必要があります。

(ユーザースタイル管理ツールは設定済みなのでインストール！)

このスクリプトの質問や評価の投稿はこちら、通報はこちらへお寄せください
作者
DrKnoxy
1日のインストール数
0
累計インストール数
90
評価
1 0 0
バージョン
1.3
作成日
2015/06/15
更新日
2017/04/19
大きさ
3.05KB
ライセンス
不明
対象サイト

Making PR.s easier to diff

  1. Accordion style file headers

    • When diffing a PR, the file headers work like an accordion now!
    • Click once to open, click again to close. And opening one doesn't close the others.
    • There is also a "collapse" button added to the page.

  2. Ignore whitespace button

    • When diffing a PR, a new button is added that will toggle the whitespace, like the git command git diff -b

This pairs nicely with github-wide userstyle https://github.com/mdo/github-wide