zsh-users/antigen — pull request #92 by willghatch (2014-10-31 04:41:41+00:00)
Title: If the given location is a file rather than directory, source it.

This adds a new simple new feature -- if the location given is a file rather than a directory, source the file rather than doing nothing. It will allow people to source individual files from git repositories if they don't want any other part of it. It's a good feature.