updated devtools

uses the new username/repo format