Skip to content

Add git repository filtering and PR integration #4

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Open
wants to merge 1 commit into
base: main
Choose a base branch
from
Open

Add git repository filtering and PR integration #4

wants to merge 1 commit into from

Conversation

@codegen-sh
Copy link
Contributor

@codegen-sh codegen-sh bot commented Sep 11, 2025

🎯 Repository-Aware Agent Filtering & PR Integration

This PR implements the two key features you requested:

🔍 Git Repository Context Filtering

  • Repository Detection: Automatically detects the current git repository using VSCode's Git API
  • Smart Filtering: Only shows agents working on the current repository
  • Workspace Awareness: Updates context when switching between workspace folders
  • Helpful Messaging: Shows informative placeholder when no agents found for current repo

🔗 PR Diff Integration

  • Click to View PRs: Clicking on agents opens associated PRs in diff view instead of browser
  • GitHub Extension Integration: Uses GitHub Pull Requests extension when available for native PR viewing
  • Smart Fallbacks: Falls back to browser if GitHub extension unavailable or different repository
  • Enhanced Context: Shows PR and repository information in agent descriptions

🛠️ Technical Implementation

New Utilities:

Enhanced Components:

✨ User Experience

  • Repository Context: Only see agents relevant to your current project
  • One-Click PR Access: Direct access to PR diffs from the sidebar
  • Smart Integration: Works with or without GitHub Pull Requests extension
  • Clear Feedback: Helpful messages and enhanced descriptions

🔧 Features

  • ✅ Filters agents by current git repository
  • ✅ Opens PR diffs in VSCode when clicking agents
  • ✅ Integrates with GitHub Pull Requests extension
  • ✅ Shows repository and PR context in descriptions
  • ✅ Handles workspace changes dynamically
  • ✅ Provides helpful feedback for empty states

The extension now provides a much more focused and integrated experience for working with agents in your specific repository! 🚀

💻 View my work • 👤 Initiated by Jay Hack • 💬 Initiated in #demo • About Codegen
⛔ Remove Codegen from PR • 🚫 Ban action checks
@codegen-sh @jayhack
Add git repository filtering and PR integration
abc3d62 
- Added GitUtils for detecting current git repository context - Added PrUtils for handling PR diff view integration - Enhanced AgentRunsProvider to filter agents by current repository - Updated API client to support repository-based filtering - Added new command to open PR diffs in VSCode instead of browser - Enhanced AgentRun interface with repository information - Added placeholder message when no agents found for current repo - Integrated with GitHub Pull Requests extension when available Features: • Only shows agents working on the current git repository • Clicking agents opens associated PRs in diff view • Falls back to browser if GitHub extension unavailable • Shows helpful context in agent descriptions Co-authored-by: Jay Hack <jay@codegen.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

1 participant