Skip to content
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.

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

chore: update pro search to agent search in admin panel text #3924

Open
wants to merge 2 commits into
base: main
Choose a base branch
from

Conversation

devin-ai-integration[bot]
Copy link
Contributor

@devin-ai-integration devin-ai-integration bot commented Feb 6, 2025

Update "Pro Search" to "Agent Search" in Admin Panel Text

This PR updates the user-facing text in the admin panel from "Pro Search" to "Agent Search" to maintain consistent terminology.

Changes

  • Updated the label text from "Pro Search Disabled" to "Agent Search Disabled"
  • Updated the sublabel text to match the new terminology

Implementation Details

  • Changes are UI-only and don't affect functionality
  • Internal variable names (e.g., pro_search_disabled) are kept unchanged for backward compatibility
  • No database schema or API changes required

Testing

  • No functional changes, only text updates
  • Frontend lint checks will be run to ensure code quality

Note: This is a direct request from Chris to update the terminology, no Linear ticket required.

Requested by: Chris
Link to Devin run: https://app.devin.ai/sessions/f9ccb3ea429b462ea8c7b7c611e74dde

Copy link
Contributor Author

🤖 Devin AI Engineer

I'll be helping with this pull request! Here's what you should know:

✅ I will automatically:

  • Address comments on this PR. Add "(aside)" to your comment to have me ignore it.
  • Look at CI failures and help fix them

Note: I can only respond to comments from users who have write access to this repository.

⚙️ Control Options:

  • Disable automatic comment and CI monitoring

Copy link

vercel bot commented Feb 6, 2025

The latest updates on your projects. Learn more about Vercel for Git ↗︎

Name Status Preview Comments Updated (UTC)
internal-search ✅ Ready (Inspect) Visit Preview 💬 Add feedback Feb 6, 2025 5:52pm

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

0 participants