zsh-users/antigen — pull request #6 by neoascetic (2012-06-24 03:03:11+00:00)
Title: Add "repos/" to .gitignore

First of all, thank you for this project, it is really appreciated! :)

I just want to have `repos/` in `.gitignore` because I use 'antigen' as a submodule in my 'dotfiles' repo with `.antigen` path.