diff options
| author | Thomas Wolf <thomas.wolf@paranor.ch> | 2019-11-02 19:26:42 +0100 |
|---|---|---|
| committer | Thomas Wolf <thomas.wolf@paranor.ch> | 2019-11-03 10:10:16 +0100 |
| commit | 64f2407f19330d182728feeaf3d2c1a4092a2051 (patch) | |
| tree | 9635bb1b3d01b0de8733d3c2a9bb38f8092f5709 /org.eclipse.jgit.lfs.server/src/org/eclipse/jgit | |
| parent | b29e9bd1cb252577c1b8118861830cffcf15fd27 (diff) | |
| download | jgit-64f2407f19330d182728feeaf3d2c1a4092a2051.tar.gz jgit-64f2407f19330d182728feeaf3d2c1a4092a2051.zip | |
WorkingTreeModifiedEvent: must be fired explicitly after merge
A merge may write files to the working tree. After a successful
merge one must fire a WorkingTreeModifiedEvent explicitly if
getModifiedFiles() is not empty.
Also, any touched files must be reported by the
WorkingTreeModifiedEvent fired by DirCacheCheckout.checkout().
Bug: 552636
Change-Id: I5fab8279ed8be8a4ae34cddfa726836b9277aea6
Signed-off-by: Thomas Wolf <thomas.wolf@paranor.ch>
Diffstat (limited to 'org.eclipse.jgit.lfs.server/src/org/eclipse/jgit')
0 files changed, 0 insertions, 0 deletions