[Merge] ~alexmurray/ubuntu-dev-tools:fix-ppa-pull-lp-1938659 into ubuntu-dev-tools:master

[Alex Murray]

Alex Murray has proposed merging ~alexmurray/ubuntu-dev-tools:fix-ppa-pull-lp-1938659 into ubuntu-dev-tools:master.

Requested reviews:
  Ubuntu Development Team (ubuntu-dev)

For more details, see:
https://code.launchpad.net/~alexmurray/ubuntu-dev-tools/+git/ubuntu-dev-tools/+merge/406518
-- 
Your team Ubuntu Development Team is requested to review the proposed merge of ~alexmurray/ubuntu-dev-tools:fix-ppa-pull-lp-1938659 into ubuntu-dev-tools:master.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: review-diff.txt
Type: text/x-diff
Size: 861 bytes
Desc: not available
URL: <https://lists.ubuntu.com/archives/ubuntu-reviews/attachments/20210802/abb6c532/attachment.diff>