Skip to content

Commit

Permalink
rm oceanbase document
Browse files Browse the repository at this point in the history
  • Loading branch information
csunny committed May 8, 2023
1 parent f08e894 commit 25fd745
Show file tree
Hide file tree
Showing 8 changed files with 296 additions and 0 deletions.
65 changes: 65 additions & 0 deletions CONTRIBUTING.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,65 @@

To contribute to this GitHub project, you can follow these steps:

1. Fork the repository you want to contribute to by clicking the "Fork" button on the project page.

2. Clone the repository to your local machine using the following command:

```
git clone https://github.com/<YOUR-GITHUB-USERNAME>/DB-GPT
```
3. Install the project requirements
```
pip install -r requirements.txt
```
4. Install pre-commit hooks
```
pre-commit install
```
5. Create a new branch for your changes using the following command:

```
git checkout -b "branch-name"
```
6. Make your changes to the code or documentation.
- Example: Improve User Interface or Add Documentation.


7. Add the changes to the staging area using the following command:
```
git add .
```

8. Commit the changes with a meaningful commit message using the following command:
```
git commit -m "your commit message"
```
9. Push the changes to your forked repository using the following command:
```
git push origin branch-name
```
10. Go to the GitHub website and navigate to your forked repository.

11. Click the "New pull request" button.

12. Select the branch you just pushed to and the branch you want to merge into on the original repository.

13. Add a description of your changes and click the "Create pull request" button.

14. Wait for the project maintainer to review your changes and provide feedback.

15. Make any necessary changes based on feedback and repeat steps 5-12 until your changes are accepted and merged into the main project.

16. Once your changes are merged, you can update your forked repository and local copy of the repository with the following commands:

```
git fetch upstream
git checkout master
git merge upstream/master
```
Finally, delete the branch you created with the following command:
```
git branch -d branch-name
```
That's it you made it 🐣⭐⭐

Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
206 changes: 206 additions & 0 deletions pilot/datasets/oceanbase/OceanBase_Introduction.md

Large diffs are not rendered by default.

25 changes: 25 additions & 0 deletions run.sh
Original file line number Diff line number Diff line change
@@ -0,0 +1,25 @@
#!/bin/bash

function find_python_command() {
if command -v python &> /dev/null
then
echo "python"
elif command -v python3 &> /dev/null
then
echo "python3"
else
echo "Python not found. Please install python."
exit 1
fi
}

PYTHONCMD=$(find_python_command)

nohup PYTHONCMD pilot/server/vicuna_server.py >> /root/server.log 2>&1 &
while [ `grep -c "Uvicorn running on" /root/server.log` -eq '0' ];do
sleep 1s;
echo "wait server running"
done
echo "server running"

PYTHONCMD pilot/server/webserver.py

0 comments on commit 25fd745

Please sign in to comment.