Issue #12: Make git-risk pull ticket specification information from the git repository's configuration file if a configuration file hasn't been provided.