Add additional variables for Jenkins#2263

oscarhearsawho wants to merge 1 commit intomainsemgrep/semgrep-docs:mainfrom

oscar/updateBbJenkinsVariablessemgrep/semgrep-docs:oscar/updateBbJenkinsVariablesCopy head branch name to clipboard