rfcbot

[ home ]

michaelwoerister's proposals for review

• merge: Support overriding `warnings` level for a specific lint via command line
  • proposal | checklist
• merge: Add `type` field to distinguish json diagnostic outputs
  • proposal | checklist