Movatterモバイル変換


[0]ホーム

URL:


Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

Commit76ac833

Browse files
committed
add quick git how to
1 parent831254e commit76ac833

File tree

2 files changed

+97
-0
lines changed

2 files changed

+97
-0
lines changed

‎README.md‎

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,11 @@
11
#datalog-cpp
2+
23
implementation of datalog (without negation, and semi-naive bottom-up evaluation) in C++
34

45
work-in-progress
56

67
not yet alpha!
8+
9+
##Documentation
10+
11+
-[Quick git how to](./docs/git-how-to.md)

‎docs/git-how-to.md‎

Lines changed: 92 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,92 @@
1+
#Quick git how to
2+
3+
Quick instructions on how to contribute to this repo from the command line.
4+
5+
Please see link to other resources below.
6+
7+
##1. Clone the repo on your local machine
8+
9+
```
10+
git clone git@github.com:Z80coder/datalog-cpp.git
11+
```
12+
13+
You should now have a`datalog-cpp` folder.
14+
15+
```
16+
cd datalog-cpp
17+
```
18+
19+
##2. Update the master branch
20+
21+
22+
```
23+
git checkout master
24+
git pull
25+
```
26+
27+
##3. Create a new branch for your work
28+
29+
You will develop your code in your own branch. First you need to create it.
30+
31+
```
32+
git checkout -b your_branch_name
33+
34+
git push --set-upstream origin your_branch_name
35+
```
36+
37+
##4. Or switch to your existing branch for your work
38+
39+
If you already done the step above, then ensure you are in your branch when you write code.
40+
41+
```
42+
git checkout your_branch_name
43+
```
44+
45+
##5. Do some coding
46+
47+
Work as normal
48+
49+
##6. Commit your changes
50+
51+
Type
52+
```
53+
git status
54+
```
55+
to check which files you've added or changed. Note the files you want to commit at this time, then:
56+
```
57+
git add newfile1 newfile2
58+
```
59+
Then commit the changes
60+
```
61+
git commit
62+
```
63+
64+
##7. Push your changes to GitHub
65+
66+
All you've done so far is declare some changes. You haven't yet pushed them to the GitHub repo. Let's do that now.
67+
68+
```
69+
git push
70+
```
71+
72+
You can keep adding, committing and pushing until you're ready to open a pull-request (with the intent of merging the changes in your branch into the`master` on the repo).
73+
74+
##8. Open a pull-request
75+
76+
Go tohttps://github.com/Z80coder/datalog-cpp
77+
78+
Click on the`Branch` button and look for`your_branch_name`, and then click on it.
79+
80+
You should see a`New pull request` button. Click it and follow the user-interface prompts to create a pull-request.
81+
82+
Once reviewed, your branch will be merged. You can contribute a new collection of changes by returning to`Create a new branch for your work` above.
83+
84+
##Other resources
85+
86+
- Microsoft Visual Studio has git support built in, and there's a GitHub plugin for Visual Studio to enable direct cloning from GitHub repos.
87+
88+
- Microsoft Visual Code also has plug-in extensions that support Git
89+
90+
-https://guides.github.com/ has some useful guides.
91+
92+
- Also, there's a GitHub Desktop app:https://desktop.github.com/

0 commit comments

Comments
 (0)

[8]ページ先頭

©2009-2025 Movatter.jp