Fix gitdm stats for branches

At the moment the metrics calculations are including all branches and tags in the MariaDB server tree. It should instead just be the 10.0 - 10.12 branches (and beyond). Likewise similar filtering should be happening on the other supported trees.