Skip to content

Conversation

@abbas-dependable-naqvi
Copy link
Contributor

Summary

  • Fixed default repo functionality
  • Fix check for username while muting

Ticket Link

Fixes #933

@abbas-dependable-naqvi abbas-dependable-naqvi added 2: Dev Review Requires review by a core committer 3: QA Review Requires review by a QA tester labels Sep 29, 2025
@abbas-dependable-naqvi abbas-dependable-naqvi changed the title Fixed default repo functionality Fixed default repo functionality and improve mute user functionality Oct 1, 2025
@abbas-dependable-naqvi
Copy link
Contributor Author

@wiggin77 Gentle reminder

@wiggin77 wiggin77 requested a review from Copilot October 3, 2025 13:14
Copy link

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull Request Overview

This PR fixes default repository functionality in the GitHub plugin and improves user muting validation. The changes enhance the repository selector component to properly handle default repositories and fix username validation during the mute user process.

  • Fixed default repository selection logic in the GitHub repository selector component
  • Enhanced user mute functionality with proper username validation and error handling
  • Updated API endpoints to support channel-specific default repository retrieval

Reviewed Changes

Copilot reviewed 6 out of 6 changed files in this pull request and generated 3 comments.

Show a summary per file
File Description
webapp/src/components/github_repo_selector/index.js Added currentChannelId to component props for channel-specific operations
webapp/src/components/github_repo_selector/github_repo_selector.jsx Refactored repository selection logic to handle default repositories and improved component state management
webapp/src/client/client.ts Updated API method signature to include channelId parameter for repository queries
webapp/src/actions/index.ts Modified action to pass channelId parameter to repository API calls
server/plugin/command.go Enhanced username validation with proper error handling for GitHub API responses
server/plugin/api.go Extended repository API endpoint to support default repository retrieval and channel-specific queries

Tip: Customize your code reviews with copilot-instructions.md. Create the file or learn how to get started.

@abbas-dependable-naqvi
Copy link
Contributor Author

@wiggin77 I have replied to the review comments by copilot

@abbas-dependable-naqvi
Copy link
Contributor Author

@wiggin77 Thanks for helping with the changes

@abbas-dependable-naqvi
Copy link
Contributor Author

@Yash-Chakerverti Please test this PR

Copy link

@Yash-Chakerverti Yash-Chakerverti left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This PR is tested for the following scenarios and working fine:-

  1. Only the Valid users are being muted
  2. Only the users present in mute list can be deleted from mute list
  3. Upon selecting the default repo and running the slash command for creating an issue the repository field is being preselected.

LGTM, Approved.

@wiggin77 wiggin77 merged commit 041c9e0 into master Oct 6, 2025
11 checks passed
@wiggin77 wiggin77 deleted the fix_default_repo branch October 6, 2025 14:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

2: Dev Review Requires review by a core committer 3: QA Review Requires review by a QA tester

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Issues/Enhancement found in RC v2.5.0-rc1

4 participants