hadley/devtools — pull request #95 by jiho (2012-05-09 16:37:20+00:00)
Title: Use package-wide options to set some preferences

Those are things that users might what to change often:

- the path where devel packages are installed: `~/R-dev` is a
little intrusive

- the github user name: developer might want to use theirs

This is a proposed fix for issue #94.