Subject: [quicwg/base-drafts] Python linting script (#1032)

From: Mike Bishop <[email-masked]>
Date: Sun, 24 Dec 2017 20:52:07 +0000 (UTC)

Per @martinthomson's suggestion, keep linting every time and just lint more quickly.  `make lint` now runs in about three seconds on WSL, which seems acceptable.  Depends on https://github.com/martinthomson/i-d-template/pull/127 to add Python 3.x support to the Docker image for Circle support and local support simultaneously.  Builds on #1031.
You can view, comment on, or merge this pull request online at:

  https://github.com/quicwg/base-drafts/pull/1032

-- Commit Summary --

  * Make figures comply with 65-character limit
  * Use Python script to lint drafts
  * Fix mode on .lint.py for non-Windows systems

-- File Changes --

    A .lint.py (64)
    M Makefile (10)
    M draft-ietf-quic-http.md (60)
    M draft-ietf-quic-recovery.md (116)
    M draft-ietf-quic-tls.md (12)

-- Patch Links --

https://github.com/quicwg/base-drafts/pull/1032.patch
https://github.com/quicwg/base-drafts/pull/1032.diff

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/quicwg/base-drafts/pull/1032