Resync with up-up-stream#4

Open

jjcomer wants to merge 13 commits intocvent:masterfrom

Commits on Apr 23, 2019

add option to change the default jenkins-agent to other name.
marcelobartsch-jt
committed

Commits on May 30, 2019

Commits on Jun 1, 2019

update org.jenkins-ci.plugins/plugin from 3.25 to 3.43
based2
authored

Commits on Oct 30, 2019

Use HTTPS URLs in pom.xml
daniel-beck-bot
committed

Commits on May 1, 2020

Commits on May 2, 2020

Commits on May 18, 2020

Commits on Jan 13, 2021

Merge remote-tracking branch 'original/master' into resync
jjcomer
committed