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

Update docs #50

Merged
merged 14 commits into from
Nov 2, 2019
Merged

Update docs #50

merged 14 commits into from
Nov 2, 2019

Conversation

kgryte
Copy link
Member

@kgryte kgryte commented Nov 2, 2019

Addresses action items concerning documentation in #42 .

Checklist

Please ensure the following tasks are completed before submitting this pull request.

  • Read and understand the Code of Conduct.
  • Read and understood the licensing terms.
  • Searched for existing issues and pull requests before submitting this pull request.
  • Filed an issue (or an issue already existed) prior to submitting this pull request.
  • Submitted against master branch.

Description

What is the purpose of this pull request?

This pull request:

  • updates developer documentation
  • updates project documentation
  • simplifies setting up and managing the development environment for updating development scripts to automatically install the local server extension.

NOTE: this PR includes changes from #48 and #49.

Related Issues

Does this pull request have any related issues?

This pull request:

Questions

Any questions for reviewers of this pull request?

No.

Other

Any other information relevant to this pull request? This may include screenshots, references, and/or implementation notes.

No.

@kgryte kgryte requested a review from saulshanabrook November 2, 2019 03:29
@saulshanabrook saulshanabrook merged commit d09d5de into jupyterlab:master Nov 2, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants