diff options
author | MarcoFalke <falke.marco@gmail.com> | 2018-04-11 10:01:39 -0400 |
---|---|---|
committer | MarcoFalke <falke.marco@gmail.com> | 2018-04-11 10:01:42 -0400 |
commit | fb17faefb8a314b8644dea3bd063faa1cbd7ae47 (patch) | |
tree | 256c8d099fe87184c2e16a0a17d78fc85a7db7c5 /depends | |
parent | fefb817009fc544468cc5ca75ed19ab7a7e924df (diff) | |
parent | 1499fdc350c0c40985ba20af2ff5a94efa275dbc (diff) |
Merge #12871: Add shell script linting: Check for shellcheck warnings in shell scripts
1499fdc350 Add shell script linting: Check for shellcheck warnings in shell scripts (practicalswift)
Pull request description:
Add shell script linting: Check for `shellcheck` warnings in shell scripts.
Tree-SHA512: c7f3f5ed9933415666d2a02f5658cdc62b959ce8112f46b6327ff5f77bb5a66710704c0cde5fd8e719d1fa1fc4f0375a0c115faced166b78e81b75dfb862f08e
Diffstat (limited to 'depends')
0 files changed, 0 insertions, 0 deletions