A little script for listing remote branches which have been merged.

1 files changed, 25 insertions, 0 deletions

diff --git a/crawl-ref/source/util/list_merged_branches.pl b/crawl-ref/source/util/list_merged_branches.pl
new file mode 100755
index 0000000000..5f9789deee
--- /dev/null
+++ b/crawl-ref/source/util/list_merged_branches.pl
@@ -0,0 +1,25 @@
+#!/usr/bin/perl
+
+%remote_branches;
+%merged_branches;
+
+open (REMOTE, "git branch -a|");
+while (<REMOTE>)
+{
+    my ($branch) = /remotes\/origin\/(.*)$/;
+    $remote_branches{$branch} = 1;
+}
+close REMOTE;
+
+open(LOG, "git log master|");
+while (<LOG>)
+{
+    my $branch;
+    next unless (($branch) = /Merge branch '(.*)'/);
+    next if ($branch eq "master");
+    next unless ($remote_branches{$branch});
+    next if ($merged_branches{$branch});
+    $merged_branches{$branch} = 1;
+    print "$branch\n";
+}
+close LOG;