Let’s see if this makes WordPress happy:

Fetch and prune: git fetch --prune

Delete remote branch: git push your_remote –delete branch_name

You can use gitlab. There is function automerge branch with option “delete source-branch”

As a bonus, recent versions of Git have added some usability improvements to make these tasks easier and more intuitive.

=== Fetch and Prune in One Step ===

Prior to Git 1.6.6, you needed two steps into order to fetch and prune:

git fetch
git remote prune your_remote

As of Git 1.6.6, you can actually combine fetching and pruning in a single command.

git fetch --prune

=== Improved Syntax for Deleting Remote Branches ===

I would argue that the original syntax is odd and a bit unintuitive for deleting remote branches:

git push your_remote :branch_name

Who thought “:” was a good indicator for “delete”? ;-)

As of Git 1.7.0, you can use this alternative syntax to delete remote branches:

git push your_remote --delete branch_name

One addition I use quite a lot – fetches remotes and prunes local that were deleted:
git fetch -p

git push origin $(git branch -r --merged origin/master | sed "s/origin\\//:/" | egrep -v "HEAD|master|develop")

If you want to see what it does first, chuck an echo in front.