diff options
author | Johannes Ranke <jranke@uni-bremen.de> | 2021-04-28 10:37:29 +0200 |
---|---|---|
committer | Johannes Ranke <jranke@uni-bremen.de> | 2021-04-28 10:37:29 +0200 |
commit | d8da74ca810b2053679670a36de2246f3b42d823 (patch) | |
tree | 6f67ecbc341e7081139df226fb1c0e021b6a1d9c /bin/git_diff | |
parent | ff61029f6e7fbdd05bdacbf7524c3847d8105550 (diff) |
Only fast-forward on pulls, don't merge
Diffstat (limited to 'bin/git_diff')
0 files changed, 0 insertions, 0 deletions