# Upstream renamed PPA debian/ to ubuntu-ppa/ in an unreleased change to avoid
# conflict with us; we cherry-picked it, but it's not in any tag(ged release)
# yet
extend-diff-ignore = "^ubuntu-ppa/.*$"
