Reload GitHub Pull Request Diff page to ignore whitespace

Information
Code
Historique
Rétroaction (0)
Statistiques

Reload GitHub Pull Request Diff page to ignore whitespace

Reloads the GitHub Pull Request Diff page, adjusting the URL to have the diffs ignore whitespace.

À partir de 2014-05-27. Voir la dernière version.

Installer ce script ?

Poser une question, écrire un avis, ou signaler le script.

Auteur

deadlydog

Évaluations

0 0 0

Version

1.1

Créer

2014-05-27

Mis à jour

2014-05-27

Taille

769 octets

Licence

S/O

S'applique à

github.com

This script will reload the GitHub Pull Request Diff page with the special URL modifier that signals to GitHub that the file diffs should ignore whitespace. If you don't care about whitespace differences, this makes viewing the file changes much easier and often drastically decreases the amount of irrelevant code (i.e. only whitespace changed) shown by the diff.