# Minor modifications due to the move to GitHub.
# Ping
# Minor cleanup to the Travis config