diff options
| author | vg <vgm+dev@devys.org> | 2019-11-25 07:34:31 +0100 |
|---|---|---|
| committer | vg <vgm+dev@devys.org> | 2019-11-25 07:38:57 +0100 |
| commit | 176e693e6861a46bb0a3581670380233203d5928 (patch) | |
| tree | 969ee8275e4017fd559c29d96e9d1a05a2bb2be8 /scripts/pumount | |
| parent | afe5995276527606dc5ed731862a0891a9537a19 (diff) | |
| download | scripts-176e693e6861a46bb0a3581670380233203d5928.tar.gz scripts-176e693e6861a46bb0a3581670380233203d5928.tar.bz2 scripts-176e693e6861a46bb0a3581670380233203d5928.zip | |
update git-sync for simple merge cases
Instead of using git merge --no-ff which always ensure no conflict, try
to git merge covering simple cases (and automatically resolvable ones)
at the cost of a merge commit but abort in case of conflicts needing
manuable resolution.
Diffstat (limited to 'scripts/pumount')
0 files changed, 0 insertions, 0 deletions