GitHub - Make PRs easier to diff

Add some functionality to github

Du musst eine Erweiterung wie Tampermonkey, Greasemonkey oder Violentmonkey installieren, um dieses Skript zu installieren.

Um dieses Skript zu installieren, müssen Sie eine Erweiterung wie Tampermonkey oder Violentmonkey installieren.

Um dieses Skript zu installieren, müssen Sie eine Erweiterung wie Tampermonkey oder Violentmonkey installieren.

Um dieses Skript zu installieren, müssen Sie eine Erweiterung wie Tampermonkey oder Userscripts installieren.

Um dieses Skript zu installieren, müssen Sie eine Erweiterung wie Tampermonkey installieren.

Sie müssten eine Skript Manager Erweiterung installieren damit sie dieses Skript installieren können

(Ich habe schon ein Skript Manager, Lass mich es installieren!)

Um dieses Design zu installieren, müssen Sie eine Erweiterung wie Stylus installieren.

Um dieses Design zu installieren, müssen Sie eine Erweiterung wie Stylus installieren.

Um dieses Design zu installieren, müssen Sie eine Erweiterung wie Stylus installieren.

Um diesen Stil zu installieren, müssen Sie eine Erweiterung für den Benutzerstil Verwaltung installieren.

Um diesen Stil zu installieren, müssen Sie eine Erweiterung für den Benutzerstil Verwaltung installieren.

Um diesen Stil zu installieren, müssen Sie eine Erweiterung für den Benutzerstil Verwaltung installieren.

(Ich habe bereits einen Benutzerstil Verwaltung, ich möchte ihn installieren!)

Autor
DrKnoxy
Installationen heute
0
Installationen gesamt
90
Bewertungen
1 0 0
Version
1.3
Erstellt am
15.06.2015
Letzte Aktualisierung
19.04.2017
Größe
3,05 KB
Lizenz
n/a
Wird angewandt auf

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