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 · Accepted solution]

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

[GeorgG]

excellent - thanks for the quick reply!

[jhinch (Atlassian)]

Just to add to Seb's answer this is the workflow the Stash team uses to develop Stash.

[GeorgG]

@Jason: Is there a complete documentation on your workflow by any chance? I think this might help resolve other questions, as well.

[Jens Schumacher [Atlassian]]

We are planning to document our workflow in the next few weeks in a blog post and/or our documentation.

[GeorgG]

Great - looking forward to it