Is deleting feature branches from which pull requests originate ok?

GeorgG

Hi everyone,

we're currently evaluating Stash and have a question regarding our future workflow. We've adapted the git flow branching model a while ago and by default create many feature branches which we eventually merge into the develop branch. We'd like to use Stash pull requests to facilitate that merge. We'd also like to prune merged feature branches from the git repository to avoid cluttering the repository with "dead" branches on the server side. Here's my question: What happens if we delete a remote feature branch with `git push origin --delete <branchname>` if a pull request originated from that branch (that would be the case for most of them)? Is that a valid way to use Stash or do we need some sort of workaround?

Thanks in advance for your help!

Cheers,

Georg

seb

Hi Georg,

It's perfectly ok to delete your feature branches after merging pull requests. Your pull requests will stay intact as you expect them and we have ensured that they will not be garbage collected by Git.

Regards,

Seb