What happens to the associated Git branch when a pull request is declined? I believe the documentation says that nothing happens to the underlying repository.
What happens if the branch is later deleted? Will the pull request still "hold on" to the code that was supposed to be merged? Or will Git eventually garbage collect them if no branches/tags reference the changed code?
In case it's helpful, I'm wondering what will happen if these steps happen:
- Branch is created
- Commits are added to the branch
- Pull request is created based on the branch
- Pull request is declined
- The branch is deleted on the server