For reference, ddstreet has proposed an overhaul of pull-*-source here: https://code.launchpad.net/~ddstreet/ubuntu-dev-tools/+git/ubuntu-dev-tools/+merge/322863
Perhaps the two thoughts can be integrated somehow :)
For reference, ddstreet has proposed an overhaul of pull-*-source here: https:/ /code.launchpad .net/~ddstreet/ ubuntu- dev-tools/ +git/ubuntu- dev-tools/ +merge/ 322863
Perhaps the two thoughts can be integrated somehow :)