Merge ~jslarraz/review-tools:use-lint-error-on-missing-desktop-file into review-tools:master
Proposed by
Jorge Sancho Larraz
Status: | Merged |
---|---|
Merged at revision: | 836a7647b261b0fef0868a1804aa40fa99cc0e05 |
Proposed branch: | ~jslarraz/review-tools:use-lint-error-on-missing-desktop-file |
Merge into: | review-tools:master |
Diff against target: |
384 lines (+302/-23) 2 files modified
reviewtools/sr_lint.py (+12/-9) tests/test.sh.expected (+290/-14) |
Related bugs: |
Reviewer | Review Type | Date Requested | Status |
---|---|---|---|
Alex Murray | Approve | ||
Review via email: mp+466748@code.launchpad.net |
Commit message
Originally review-tools called common.error if meta/gui/*.desktop file could not be found. It makes the review to exit immediately.
This change is intended to treat missing meta/gui/*.desktop as a lint error
To post a comment you must log in.
Nice - LGTM!