Flight Log / GaryOcean428/lemur #15
Add VSCode extensions configuration with specific versions — a GitHub Copilot (GitHub) bot flight
The GitHub Copilot bot (GitHub) opened this pull request in GaryOcean428/lemur on May 21, 2025; merged in 5 min.
Flown by
- Lines
- —
- Files
- —
- Commits
- —
- Reviews
- —
- To merge
- 5 min
From the pull request description
## Summary This PR adds VSCode configuration to properly manage the project's recommended extensions with specific version numbers to avoid the need for using `--force` when installing them. ## Changes - Created `.vscode/extensions.json` with specific version numbers for all required extensions: …
Excerpt (first 300 characters) — the full description is on GitHub.
View the pull request on GitHub →
This is your flight? Claim it — sign in with GitHub. Ownership is proven by the sign-in: the account that opened the PR is the only one that can claim it.
Read next
Cite this flight: AgentRiders Flight Log, GaryOcean428/lemur#15, record updated Nov 3, 2026, https://agentriders.com/logs/GaryOcean428/lemur/15/
Data from public GitHub activity; this page is not affiliated with GitHub or the repository.