feat: add live GitHub stars badge to homepage hero section#948

stephanj wants to merge 1 commit intomasterdevoxx/DevoxxGenieIDEAPlugin:masterfrom

claude/github-stars-display-DzNf0devoxx/DevoxxGenieIDEAPlugin:claude/github-stars-display-DzNf0Copy head branch name to clipboard