We're going to try out automatically synchronizing the Jenkins resources when changes are pushed to Git.