]> source.dussan.org Git - jgit.git/commit
RebaseCommand: use orig-head in addition to head 39/137339/3
authorThomas Wolf <thomas.wolf@paranor.ch>
Wed, 19 Dec 2018 10:07:43 +0000 (11:07 +0100)
committerDavid Pursehouse <david.pursehouse@gmail.com>
Tue, 26 Feb 2019 07:18:27 +0000 (16:18 +0900)
commitb4c212309b27c01dcf1a859774f6a0dc0a2338a5
treeef3d69f7ffa3dfea53993edb3b9d5119af0af299
parenta64fa0bd7f0f958ccd87b0cd5e7c1bd39500c636
RebaseCommand: use orig-head in addition to head

Since 2011-02-10 (i.e., git 1.7.6)[1] native git uses "orig-head" for
REBASE_HEAD. JGit was still using "head". Currently native git has a
legacy fall-back for reading this, but for how long? Let's write to
both. Note that JGit never reads this file.

[1] https://github.com/git/git/commit/84df4560

Bug: 511487
Change-Id: Id3742bf9bbc0001d850e801b26cc8880e646abfc
Signed-off-by: Thomas Wolf <thomas.wolf@paranor.ch>
org.eclipse.jgit/src/org/eclipse/jgit/api/RebaseCommand.java