... | ... | @@ -2,9 +2,7 @@ Here are listed some useful tools to know for development. |
|
|
|
|
|
## Git
|
|
|
|
|
|
### Config files
|
|
|
|
|
|
#### Relative config files
|
|
|
### Relative config files
|
|
|
|
|
|
Since Git 2.13, it is possible to define config files for directories.
|
|
|
|
... | ... | @@ -22,7 +20,7 @@ Example: the file `~/dev/dbnomics` define user email for all DB.nomics repositor |
|
|
email = jc.dus@cepremap.org
|
|
|
```
|
|
|
|
|
|
##### Multiple config files (one in the sub-tree of the other)
|
|
|
### Multiple config files (one in the sub-tree of the other)
|
|
|
|
|
|
Example:
|
|
|
|
... | ... | @@ -33,14 +31,14 @@ Example: |
|
|
path = ~/dev/dbnomics/gitconfig
|
|
|
```
|
|
|
|
|
|
#### Forcing git to use a manually configured email address
|
|
|
### Forcing git to use a manually configured email address
|
|
|
|
|
|
```ini
|
|
|
[user]
|
|
|
useConfigOnly = true
|
|
|
```
|
|
|
|
|
|
#### Delete local image of remote branches when fetching
|
|
|
### Delete local image of remote branches when fetching
|
|
|
|
|
|
After a merge request is approved and the branch merged, the branch is deleted on the server. On the machine of the developer, it is irrelevant to keep those polluting branches.
|
|
|
|
... | ... | |