Github Commit Diff

Adds button to show diff (or patch) file for commit

As of 03. 02. 2024. See the latest version.