ci: local build options#7197

ethomson wants to merge 2 commits intomainlibgit2/libgit2:mainfrom

ethomson/ci_simplificationlibgit2/libgit2:ethomson/ci_simplificationCopy head branch name to clipboard