diff options
| author | Albert Krewinkel <albert@zeitkraut.de> | 2020-11-07 19:38:03 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-11-07 10:38:03 -0800 |
| commit | 527346cc7e2bc874092be2f6793001860e10a719 (patch) | |
| tree | 7c26c03a30f00f63c340d98cebdadd2f6408df21 /tools/github-upload.sh | |
| parent | 0ed3436588951d457eefb11351f72d3560bdc544 (diff) | |
| download | pandoc-527346cc7e2bc874092be2f6793001860e10a719.tar.gz | |
Lint code in PRs and when committing to master (#6790)
* Remove unused LANGUAGE pragmata
* Apply HLint suggestions
* Configure HLint to ignore some warnings
* Lint code when committing to master
Diffstat (limited to 'tools/github-upload.sh')
0 files changed, 0 insertions, 0 deletions