devel/git-extras: update to 7.1.0
Changelog: https://github.com/tj/git-extras/releases/tag/7.1.0
PR: 274837