# git br-update ${prefix} ${branch}
# updates develop; delete local and remote branch and recreate local branch with up to date with develop
[alias]
  br-update = "!f() { git co develop && git pull && git br -D \"$1\"/\"$2\" && if ( git push origin --delete \"$1\"/\"$2\" ); then echo TRUE; else echo FALSE; fi && git remote update origin --prune && git flow \"$1\" start \"$2\"; }; f"