[Merge] ~ddstreet/ubuntu-dev-tools/+git/ubuntu-dev-tools:pull-pkg into ubuntu-dev-tools:master

[Mattia Rizzolo]

Oh, I see.

I think at this point you should definitely feel free to push to git here, and for what the "higher level" is concerned IMHO should still stay Debian when it's possible.

So again you shouldn't block on becoming a core-dev.
-- 
https://code.launchpad.net/~ddstreet/ubuntu-dev-tools/+git/ubuntu-dev-tools/+merge/322863
Your team Ubuntu Development Team is subscribed to branch ubuntu-dev-tools:master.