On Tue, Apr 19, 2011 at 18:59, Joey Hess <jo...@debian.org> wrote: > This tradeoff was made to allow mr checkout to run entirely arbitrary > commands.
Would it be acceptable to introduce a new config option like source = git+ssh://repo.or.cz/srv/git/foo that way, mr could Dot The Right Thing by default while still allowing 'checkout' to do whatever the user wants it to. Maybe git_source or similar would be needed to enable mr to be certain what kind of remote to use. Richard -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
