Just figured out how to remove things from git repos.