=scr silence curl on jenkins, no need for progress bars
Merge pull request #15275 from ktoso/silent-curl-for-jenkins

=scr silence curl for github tagging