Merge "Added description to some Jenkins git mirror pipeline params"