Search results

Allow use of code under later versions of GPL

topic: documentationRelated to documentation for the project Related to documentation for the project

type: enhancementProposed improvement Proposed improvement

Status: Merged (completed).

arduino/arduino-lintnumber 274

#274 In arduino/arduino-lint;

· by per1234 was closed on Sep 20, 2021

· Updated on Nov 20, 2021

Replace broken website publishing script link

topic: documentationRelated to documentation for the project Related to documentation for the project

type: imperfectionPerceived defect in any part of project Perceived defect in any part of project

Status: Merged (completed).

arduino/arduino-lintnumber 229

#229 In arduino/arduino-lint;

· by per1234 was closed on Aug 5, 2021

· Updated on Nov 20, 2021

Correct typos in package index rule function doc comments

topic: documentationRelated to documentation for the project Related to documentation for the project

type: imperfectionPerceived defect in any part of project Perceived defect in any part of project

Status: Merged (completed).

arduino/arduino-lintnumber 195

#195 In arduino/arduino-lint;

· by per1234 was closed on Jun 22, 2021

· Updated on Nov 20, 2021

Rescind policy that commits should start with "[skip changelog]"

topic: documentationRelated to documentation for the project Related to documentation for the project

type: enhancementProposed improvement Proposed improvement

Status: Merged (completed).

arduino/arduino-lintnumber 201

#201 In arduino/arduino-lint;

· by per1234 was closed on Jul 2, 2021

· Updated on Nov 20, 2021

Update command line help to reflect check->lint terminology change

topic: documentationRelated to documentation for the project Related to documentation for the project

type: imperfectionPerceived defect in any part of project Perceived defect in any part of project

Status: Merged (completed).

arduino/arduino-lintnumber 147

#147 In arduino/arduino-lint;

· by per1234 was closed on Jan 11, 2021

· Updated on Nov 20, 2021

Update documentation home page according to blog post review

topic: documentationRelated to documentation for the project Related to documentation for the project

type: enhancementProposed improvement Proposed improvement

Status: Merged (completed).

arduino/arduino-lintnumber 150

#150 In arduino/arduino-lint;

· by per1234 was closed on Jan 11, 2021

· Updated on Nov 20, 2021

Use "Arduino Lint" as the project name

topic: codeRelated to content of the project itself Related to content of the project itself

topic: documentationRelated to documentation for the project Related to documentation for the project

type: enhancementProposed improvement Proposed improvement

Status: Merged (completed).

arduino/arduino-lintnumber 157

#157 In arduino/arduino-lint;

· by per1234 was closed on Jan 12, 2021

· Updated on Nov 20, 2021

Use "rule" term instead of "check"

topic: codeRelated to content of the project itself Related to content of the project itself

topic: documentationRelated to documentation for the project Related to documentation for the project

type: enhancementProposed improvement Proposed improvement

Status: Merged (completed).

arduino/arduino-lintnumber 125

#125 In arduino/arduino-lint;

· by per1234 was closed on Dec 21, 2020

· Updated on Nov 20, 2021

Add Arduino logo to documentation website header

topic: documentationRelated to documentation for the project Related to documentation for the project

type: imperfectionPerceived defect in any part of project Perceived defect in any part of project

Status: Merged (completed).

arduino/arduino-lintnumber 122

#122 In arduino/arduino-lint;

· by per1234 was closed on Dec 21, 2020

· Updated on Nov 20, 2021

Update configuration environment variable names in docs

topic: documentationRelated to documentation for the project Related to documentation for the project

type: imperfectionPerceived defect in any part of project Perceived defect in any part of project

Status: Merged (completed).

arduino/arduino-lintnumber 126

#126 In arduino/arduino-lint;

· by per1234 was closed on Dec 21, 2020

· Updated on Nov 20, 2021

Correct doc comments

topic: documentationRelated to documentation for the project Related to documentation for the project

type: imperfectionPerceived defect in any part of project Perceived defect in any part of project

Status: Merged (completed).

arduino/arduino-lintnumber 144

#144 In arduino/arduino-lint;

· by per1234 was closed on Jan 11, 2021

· Updated on Nov 20, 2021

Improve readme

topic: documentationRelated to documentation for the project Related to documentation for the project

type: enhancementProposed improvement Proposed improvement

Status: Merged (completed).

arduino/arduino-lintnumber 106

#106 In arduino/arduino-lint;

· by per1234 was closed on Dec 21, 2020

· Updated on Nov 20, 2021