Merge lp:~marcoceppi/juju-core/docs-bug-lint-tool into lp:juju-core/docs
Proposed by
Marco Ceppi
Status: | Merged |
---|---|
Approved by: | Nick Veitch |
Approved revision: | no longer in the source branch. |
Merged at revision: | 185 |
Proposed branch: | lp:~marcoceppi/juju-core/docs-bug-lint-tool |
Merge into: | lp:juju-core/docs |
Diff against target: |
79 lines (+75/-0) 1 file modified
tools/lint.py (+75/-0) |
To merge this branch: | bzr merge lp:~marcoceppi/juju-core/docs-bug-lint-tool |
Related bugs: |
Reviewer | Review Type | Date Requested | Status |
---|---|---|---|
charmers | Pending | ||
Review via email:
|
Description of the change
Create a linting tool which checks for bug links in docs and reports their status
To post a comment you must log in.