Update shallow clones of linux.git branches that are relevant for our CI
jobs. Other jobs can then quickly clone a branch from this git repository
and discard it afterwards. This saves disk space on our jenkins nodes,
and keeps the traffic to git.kernel.org minimal.
<!-- Managed by Jenkins Job Builder -->