Discarding old & merged branches

[np]

Given the contribution process the list of branches keeps growing. It might be nice to discard the old & merged branches, using a script for instance. As we don't want to lose information, I recommend we archive the meta data hosted on github using this tool: https://github.com/joeyh/github-backup.