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.

2014-05-27 या दिनांकाला. सर्वात नवीन आवृत्ती पाहा.