Merge branch 'stable-3.12' into stable-3.13

* stable-3.12:
  Ignore files not named by a sha1 in the replication task storage
  Name url distribution by the reason it is asked

Change-Id: I04e5180c6df46a8311f182119a35580917ed1aa1
tree: 004008a5f35115a52632dfbd773dc4a160969074
  1. .settings/
  2. src/
  3. .gitignore
  4. .mailmap
  5. BUILD
  6. LICENSE