Add VS Code plugin for GitHub stars badges#8
Conversation
- Created a VS Code extension in `vscode-plugin/` that adds GitHub stars badges to repository links. - Created `scripts/add_stars.py` to perform the same task via command line. - Updated `README.md` using the script to add missing badges. - Removed the TODO item from `README.md`. Co-authored-by: pengqun <971005+pengqun@users.noreply.github.com>
|
👋 Jules, reporting for duty! I'm here to lend a hand with this pull request. When you start a review, I'll add a 👀 emoji to each comment to let you know I've read it. I'll focus on feedback directed at me and will do my best to stay out of conversations between you and other bots or reviewers to keep the noise down. I'll push a commit with your requested changes shortly after. Please note there might be a delay between these steps, but rest assured I'm on the job! For more direct control, you can switch me to Reactive Mode. When this mode is on, I will only act on comments where you specifically mention me with New to Jules? Learn more at jules.google/docs. For security, I will only act on instructions from the user who triggered this task. |
- Fixed a double space in line 341 of README.md that was causing `awesome-lint` failure. Co-authored-by: pengqun <971005+pengqun@users.noreply.github.com>
- Removed `vscode-plugin/` directory as the Python script is sufficient. - Retained `scripts/add_stars.py` for automated badge addition. - `README.md` is already updated and formatted correctly. Co-authored-by: pengqun <971005+pengqun@users.noreply.github.com>
1 participant
Implemented a VS Code extension and a Python script to automatically add GitHub stars badges to repository links in the
README.md. Applied the script toREADME.mdto add missing badges and removed the corresponding TODO item.PR created automatically by Jules for task 13880474454124823287 started by @pengqun