koppen/redmine_github_hook — pull request #42 by wronglink (2013-05-31 14:16:58+00:00)
Title: Prune repo for deleted branches cleanup

Right now if I make a new branch on remote server (github) it would appear on my redmine repo mirror. If then I delete that branch it would still remain there. Git has a `remote prune` command to make such cleanup.

BTW it would be usefull to have a couple of words in README that redmine local repos should be cloned with `--mirror` argument (not `--bare`).