RFR: 1056: Mirror service is no longer syncing tags

[Erik Joelsson]

We currently have two modes of mirroring repositories using the MirrorBot, either a set of branches, or everything. When limiting branches, tags are excluded, and when mirroring everything, tags are included.

I'm adding a new configuration option "tags": true/false. The purpose is to be able to include tags when only mirroring a set of branches. Default is false (to mimic current behavior). I can't see a use case for being able to exclude tags in the all branches case, and implementing it would add quite a bit of complexity.

-------------

Commit messages:
 - SKARA-1056

Changes: https://git.openjdk.java.net/skara/pull/1177/files
 Webrev: https://webrevs.openjdk.java.net/?repo=skara&pr=1177&range=00
  Issue: https://bugs.openjdk.java.net/browse/SKARA-1056
  Stats: 158 lines in 6 files changed: 146 ins; 0 del; 12 mod
  Patch: https://git.openjdk.java.net/skara/pull/1177.diff
  Fetch: git fetch https://git.openjdk.java.net/skara pull/1177/head:pull/1177

PR: https://git.openjdk.java.net/skara/pull/1177