diff options
| author | Máximo Cuadros <mcuadros@gmail.com> | 2020-08-31 17:43:27 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-31 17:43:27 +0200 |
| commit | 6da5e5958ecc0e6f8da6ee2b6714e50b8ef26df4 (patch) | |
| tree | c0eec2aae09993118c120fa04db57bf1bd1126f9 /plumbing/format/config | |
| parent | 5bf939bc5c03b149e7ec80653bcaa901d05d0d44 (diff) | |
| parent | 711b703b572e07d3d0437eae4662419b5c392a6b (diff) | |
| download | go-git-6da5e5958ecc0e6f8da6ee2b6714e50b8ef26df4.tar.gz | |
Merge pull request #158 from chrisgavin/fix-force-push-delete-reference
git: remote, Fix deleting references when force pushing.
Diffstat (limited to 'plumbing/format/config')
0 files changed, 0 insertions, 0 deletions