GitHub - Make PRs easier to diff

Add some functionality to github

लेखक

DrKnoxy

दैनिक इंस्टॉल

एकूण इंस्टॉल

रेटिंग

1 0 0

आवृत्ती

1.3

बनवली

2015-06-15

अपडेट केली

2017-04-19

आकार

3.05 KB

License

नाही

यांवर लागू होते:

Making PR.s easier to diff

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.
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