We are using GitHub Enterprise and the GitHub Organization Folders for everything.

Well, everything except workflowLibs.git.

We would like to be able to use the same workflow for contributing, managing, etc. workflowLibs.git code that we use for everything else.

In addition, we plan on having (roughly) one Jenkins per Organization, but would like to share (some? all?) of the workflowLibs.git across Jenkinses.

If this isn't done directly (i.e. just replace the built-in git repository with an external one) then some guidance or suggested workflows would be nice.

Some questions:

• Is ${JENKINS_HOME/workflow-libs}} the actual repository? Is there a bare repository someplace I'm not seeing?
• Is there a Jenkinsfile way to push changes into workflowLibs.git?
• Can I just add a new remote to ${JENKINS_HOME}/workflow-libs and do a git pull --mirror?