allows repos from other version control systems to cohabitate in repos
makes naming conventions consistent with almost every other git system
Downsides:
It's a little more typing (in the two or three places we actually refer to the repo dir)
It would require more name manipulation to extract the name of the app (if we ever needed to, which we don't)
The cost of refactoring (one or two lines had to be changed, and only in this plugin)
Right now, I'm essentially in favor of this change, because I like repos ending in .git to be consistent across Heroku, GitHub, default Git commands, and Plushu.
Upsides:
repos
Downsides:
Right now, I'm essentially in favor of this change, because I like repos ending in
.git
to be consistent across Heroku, GitHub, default Git commands, and Plushu.