[UPD] doc: move git doc in FAQ, add how amend several commits with no edit

- doc Cherry-pick a merged commit with conflict
This commit is contained in:
Mathieu Benoit 2022-02-23 04:03:15 -05:00
parent a4c3ac035a
commit 242b710458
2 changed files with 22 additions and 8 deletions

View file

@ -34,6 +34,28 @@ or
sudo ss -lpnt | grep LISTEN
```
## Git
### Unshallow git
By example, the repo Odoo use a depth clone. If you need all the clone repo, use this command on right directory:
```bash
git fetch REMOTE --unshallow
```
### Amend several commits in Git to change author
```bash
git rebase -i HEAD~4 -x "git commit --amend --author 'Author Name <author.name@mail.com>' --no-edit"
```
### Cherry-pick a merged commit with conflict
```bash
git cherry-pick -m 1 --strategy-option theirs HASH
```
## git-repo
### error.GitError fatal bad revision

View file

@ -125,11 +125,3 @@ Maybe, some version diverge from your manifest. Simply clean all and relaunch yo
```bash
./script/clean_repo_manifest.sh
```
### Unshallow git
By example, the repo Odoo use a depth clone. If you need all the clone repo, use this command on right directory:
```bash
git fetch REMOTE --unshallow
```