☰

GitHub - Make PRs easier to diff

Add some functionality to github

ผู้เขียน
DrKnoxy
จำนวนติดตั้งประจำวัน
0
จำนวนติดตั้งทั้งหมด
90
คะแนน
1 0 0
เวอร์ชัน
1.3
สร้างเมื่อ
15-06-2015
อัปเดตเมื่อ
19-04-2017
Size
3.05 กิโลไบต์
สัญญาอนุญาต
ไม่มี
ปรับใช้กับ

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