2017-11-02 08:07:09 +01:00
|
|
|
# Git
|
|
|
|
|
2017-11-03 11:32:19 +01:00
|
|
|
## Fetch a remote branch
|
2017-11-02 08:07:09 +01:00
|
|
|
|
|
|
|
- Create a local branch that tracks a remote branch
|
|
|
|
|
|
|
|
```shell
|
|
|
|
git checkout --track origin/develop
|
|
|
|
```
|
|
|
|
|
|
|
|
If you want to change the name of the local branch (_NOT A GOOD IDEA_)
|
|
|
|
|
|
|
|
```shell
|
|
|
|
git checkout --track -b gniagnia origin/develop
|
|
|
|
```
|
2017-11-03 11:32:36 +01:00
|
|
|
|
|
|
|
## Ammend without editing commit message
|
|
|
|
|
|
|
|
```shell
|
|
|
|
git commit --ammend --no-edit
|
|
|
|
```
|