tree 32e51696669f480ad61bb2bbbdb1a6737f4ef113
parent 4140f98c712694d91096b09fe630db6db9481479
author Jakub Josef <jakub.josef@gmail.com> 1515596458 +0100
committer Jakub Josef <jakub.josef@gmail.com> 1515596458 +0100

Added description to some Jenkins git mirror pipeline params

Change-Id: I7a252720b18a3c8d2c1b72d9037c5f5c88187b58