diff options
| author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2018-08-11 20:26:41 +0100 |
|---|---|---|
| committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2018-08-12 01:26:19 +0100 |
| commit | 5ad9edffc1e0658f287b45feccbd7c97e0bfd412 (patch) | |
| tree | d0afb5f51ebac1469e5f71e78743f01c19f21d71 /dgit | |
| parent | a31d506d5ba29726b661ecd40092c8fbebfa865f (diff) | |
git-debrebase: merge: New record-resolved-merge subcommand, WIP
Right now this seems to be able to generate some commit, but
it doesn't know how to record it.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'dgit')
0 files changed, 0 insertions, 0 deletions