upvote
GitHub issues are mostly with PRs, CI, etc, not with git
reply