Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Know how to write good shell scripts #3339

Merged
merged 1 commit into from
Feb 9, 2016
Merged

Know how to write good shell scripts #3339

merged 1 commit into from
Feb 9, 2016

Conversation

hzoo
Copy link
Member

@hzoo hzoo commented Feb 9, 2016

No description provided.

@hzoo hzoo added the PR: Internal 🏠 A type of pull request used for our changelog categories label Feb 9, 2016
@sebmck
Copy link
Contributor

sebmck commented Feb 9, 2016

💯

@hzoo
Copy link
Member Author

hzoo commented Feb 9, 2016

Well that wasn't too bad, ignoring the fact I put it in the wrong place initially

@codecov-io
Copy link

Current coverage is 85.13%

Merging #3339 into master will decrease coverage by -0.31% as of 81d631a

@@            master   #3339   diff @@
======================================
  Files          215     215       
  Stmts        15774   15774       
  Branches      3386    3386       
  Methods          0       0       
======================================
- Hit          13478   13429    -49
- Partial        675     723    +48
- Missed        1621    1622     +1

Review entire Coverage Diff as of 81d631a

Powered by Codecov. Updated on successful CI builds.

hzoo added a commit that referenced this pull request Feb 9, 2016
Know how to write good shell scripts
@hzoo hzoo merged commit 612e11e into master Feb 9, 2016
@hzoo hzoo deleted the shell-scripts branch February 13, 2016 05:17
@lock lock bot added the outdated A closed issue/PR that is archived due to age. Recommended to make a new issue label Oct 7, 2019
@lock lock bot locked as resolved and limited conversation to collaborators Oct 7, 2019
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
outdated A closed issue/PR that is archived due to age. Recommended to make a new issue PR: Internal 🏠 A type of pull request used for our changelog categories
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants