#!/bin/bash
#Tue Sep 10 23:01:08 EDT 2013

#Include all user options

. "$(dirname $0)/config.sh"
echo "repo $repo_dir"
echo "GitLab Group $gitlab_group"
