pullapply: git fetch|pull now prunes deleted branches
commit5a078a20388ec2870154b02806a111c8c28764bd
authorMartin Langhoff <martin.langhoff@gmail.com>
Thu, 14 May 2015 15:01:37 +0000 (14 11:01 -0400)
committerMartin Langhoff <martin.langhoff@gmail.com>
Thu, 14 May 2015 16:57:25 +0000 (14 12:57 -0400)
tree34931cc567b2a4b67b407b7d807811444323f368
parente636c4884be31cf6ad66787cb06ba284cd10d5a5
pullapply: git fetch|pull now prunes deleted branches

This brings the branch cleanups performed in the ppg server
to all the clients, reducing noise...
ppg-pullapply