Time to release 7.1.0

[spacewander]

Currently, git-extras is using main as the default branch. So if the user installs git-extras via source, the update feature won't work anymore. Upgrade to git-extras 7.1.0 will solve this problem.

[hyperupcall]

Good idea, a release is now due.