devel/git-extras: Update to 7.2.0
ChangeLog: https://github.com/tj/git-extras/releases/tag/7.2.0 PR: 278552