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.

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

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

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

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
1f9cf64
Initial plan for issue
Copilot May 22, 2025
cadce21
Verify complete reversion of PR #8733
Copilot May 22, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
15 changes: 15 additions & 0 deletions verification.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,15 @@
# Verification of PR #8733 Reversion

This file serves as verification that PR #8733, which introduced the MongoDB extension, has been completely reverted.

After thorough investigation, we have confirmed:

1. The `src/mongodb` directory was completely removed from the repository.
2. The entry for `az mongo-db` was removed from `src/service_name.json`.
3. No traces of the standalone MongoDB extension remain in the codebase.

All changes from both commits in PR #8733 have been successfully reverted:
- Initial commit "mongodb cli" (acb09ba13a7433d45ec3c2bbc1207d50f40b354c)
- Follow-up commit "updating readme and adding examples" (7c2e1badafc8308b1bd085b0d0532a08d7d5139f)

Note: This verification file can be removed after review.
Loading