hazzim

#!/bin/bash

# Copies certain kinds of known files and directories from a given Jenkins master directory
# into a git repo, removing any old ones, adds 'em, commits 'em, pushes 'em.
set -ex

if [ $# -ne 3 ]; then
  echo usage: $0 jenkins_home git_repos_url git_repos_name
  exit 1
fi