Skip to content
This repository has been archived by the owner on Aug 29, 2023. It is now read-only.

Finish cleaning up the last shellcheck issues #66

Open
dlespiau opened this issue Oct 8, 2019 · 0 comments
Open

Finish cleaning up the last shellcheck issues #66

dlespiau opened this issue Oct 8, 2019 · 0 comments
Labels
chore Related to fix/refinement/improvement of end user or new/existing developer functionality

Comments

@dlespiau
Copy link
Contributor

dlespiau commented Oct 8, 2019

We should be able to either fix the few remaining linting issues (or ignore some).
@dlespiau dlespiau added the chore Related to fix/refinement/improvement of end user or new/existing developer functionality label Oct 8, 2019
@dlespiau dlespiau mentioned this issue Oct 8, 2019
Open
@mflendrich mflendrich mentioned this issue Oct 10, 2019
Merged
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
chore Related to fix/refinement/improvement of end user or new/existing developer functionality
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@dlespiau