Skip to content

Verify complete reversion of PR #8733 (mongodb extension) #8779

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

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

Conversation

Copilot
Copy link

@Copilot Copilot AI commented May 22, 2025

Summary

This PR confirms that all changes introduced by PR #8733 (mongodb CLI extension) have been completely reverted from the codebase.

Verification Steps Taken

  • Verified that the src/mongodb directory has been completely removed
  • Confirmed that the entry for az mongo-db was removed from src/service_name.json
  • Thoroughly searched the codebase to ensure no traces of the standalone MongoDB extension remain
  • Found that all legitimate MongoDB references are related to existing functionality like CosmosDB integration

Details

PR #8733 originally introduced a new MongoDB extension through two commits:

  1. Initial commit "mongodb cli" (acb09ba)
  2. Follow-up commit "updating readme and adding examples" (7c2e1ba)

Both commits have been successfully reverted, and the repository is clean of any standalone mongodb extension code.

The verification document can be removed after review if desired.


💡 You can make Copilot smarter by setting up custom instructions, customizing its development environment and configuring Model Context Protocol (MCP) servers. Learn more Copilot coding agent tips in the docs.

Copy link

Validation for Breaking Change Starting...

Thanks for your contribution!

Copy link

Hi @copilot,
Please write the description of changes which can be perceived by customers into HISTORY.rst.
If you want to release a new extension version, please update the version in setup.py as well.

@Copilot Copilot AI changed the title [WIP] Revert changes from PR #8733: Remove mongodb extension module additions Verify complete reversion of PR #8733 (mongodb extension) May 22, 2025
@Copilot Copilot AI requested a review from banggaurav May 22, 2025 04:52
Copilot finished work on behalf of banggaurav May 22, 2025 04:52
@yonzhan yonzhan requested a review from evelyn-ys May 22, 2025 04:59
@yonzhan yonzhan requested a review from calvinhzy May 22, 2025 05:00
@yonzhan
Copy link
Collaborator

yonzhan commented May 22, 2025

mongodb

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.

4 participants