mariok

#!/bin/bash
# Helper-script for Git
# Deletes all branches from a remote-repository, which have already been merged into branch "master"
# only branches starting with prefix "dev_" will be deleted
#
# based on https://gist.github.com/schacon/942899

# fetch the latest state from the remote repo, removing all remotely deleted branches locally as well
git fetch -p