Update tests.

A recent devtools update removed the support for bare repo names that
defaulted to `hadley/`; tests need updated to match.