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
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
Just to add to Seb's answer this is the workflow the Stash team uses to develop Stash.
You must be a registered user to add a comment. If you've already registered, sign in. Otherwise, register and sign in.
We are planning to document our workflow in the next few weeks in a blog post and/or our documentation.
You must be a registered user to add a comment. If you've already registered, sign in. Otherwise, register and sign in.
You must be a registered user to add a comment. If you've already registered, sign in. Otherwise, register and sign in.