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

feat: improve dev doc #972

Merged
merged 4 commits into from
Aug 28, 2023
Merged

feat: improve dev doc #972

merged 4 commits into from
Aug 28, 2023

Conversation

jiashenC
Copy link
Member

@jiashenC jiashenC commented Aug 27, 2023

  • Remove duplicate debugging section.
  • Fix how to submit PR and testing.
  • Reorganize the contribution section.
  • Add an installation guide under getting started.

@jiashenC jiashenC requested a review from xzdandy August 27, 2023 14:38
python3 -m venv test_evadb_venv
source test_evadb_venv/bin/activate
pip install --upgrade pip
pip install -e ".[dev]"
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

There are extra dependency besides [dev]. Shall we summarize them? Maybe we should have that information on the installation page and refer it here, since it will be helpful for users not only developers.

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Sure. That is a good idea.

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think the installation page is no longer used. What would be a good place to show this information?

Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think we should add one.

@jiashenC jiashenC requested a review from xzdandy August 28, 2023 13:26
@jiashenC jiashenC merged commit 8a6653b into staging Aug 28, 2023
@jiashenC jiashenC deleted the improve-dev-doc branch August 28, 2023 15:27
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