Skip to content

chore: update --help for disable-file-downloads #5176

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

Merged
merged 2 commits into from
May 6, 2022
Merged

Conversation

jsjoeio
Copy link
Contributor

@jsjoeio jsjoeio commented May 6, 2022

Fixes N/A

@jsjoeio jsjoeio added the chore Related to maintenance or clean up label May 6, 2022
@jsjoeio jsjoeio added this to the May 2022 milestone May 6, 2022
@jsjoeio jsjoeio self-assigned this May 6, 2022
@jsjoeio jsjoeio requested a review from a team May 6, 2022 22:44
@github-actions
Copy link

github-actions bot commented May 6, 2022

✨ code-server docs for PR #5176 is ready! It will be updated on every commit.

@jsjoeio jsjoeio enabled auto-merge (squash) May 6, 2022 22:47
@codecov
Copy link

codecov bot commented May 6, 2022

Codecov Report

Merging #5176 (a1bb9bd) into main (60dd8ab) will not change coverage.
The diff coverage is n/a.

Impacted file tree graph

@@           Coverage Diff           @@
##             main    #5176   +/-   ##
=======================================
  Coverage   71.73%   71.73%           
=======================================
  Files          30       30           
  Lines        1691     1691           
  Branches      375      375           
=======================================
  Hits         1213     1213           
  Misses        409      409           
  Partials       69       69           
Impacted Files Coverage Δ
src/node/cli.ts 91.66% <ø> (ø)

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 60dd8ab...a1bb9bd. Read the comment docs.

@jsjoeio jsjoeio temporarily deployed to npm May 6, 2022 22:52 Inactive
@github-actions
Copy link

github-actions bot commented May 6, 2022

✨ code-server dev build published to npm for PR #5176!

  • Last publish status: success
  • Commit: a1bb9bd

To install in a local project, run:

npm install @coder/code-server-pr@5176

To install globally, run:

npm install -g @coder/code-server-pr@5176

@jsjoeio jsjoeio merged commit 7c1a45a into main May 6, 2022
@jsjoeio jsjoeio deleted the jsjoeio/update-help branch May 6, 2022 23:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
chore Related to maintenance or clean up
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants