Delete an Extension

Summary:

After deleting an extension, what happens to the source code in Git?

Content (please ensure you mask any confidential information):

I very much appreciate all the documentation, blogs and event recordings. Next step is to turn the information into knowledge and true understanding. I'm reaching out to the community for some guidance on the following use case.

Let's say we have deployed an extension in our Development environment. If I'm understanding it correctly (please chime in to provide any clarifications), this means:
[1] The source code changes are pushed to the local Git repository in the current branch.
[2] A merge request (routed for approval if configured) is created to merge the source code changes of the current branch to the main branch.