#!/bin/bash

# The below alias doesn't seem to work for me.
# alias startjob='bash'

# Make sure that path is fine and includes ccl, sbcl, etc.
git config --global user.email <your github email>
git config --global user.name <your github name>

