The logic is similar to the 'push' command one (i.e. it is reported as
modified if a three-way merge is needed).
Signed-off-by: Catalin Marinas <catalin.marinas@gmail.com>
sys.stdout.flush()
git.merge(bottom, git.get_head(), top)
sys.stdout.flush()
git.merge(bottom, git.get_head(), top)
else:
message = commit.get_log()
author_name, author_email, author_date = \
else:
message = commit.get_log()
author_name, author_email, author_date = \
author_name = author_name,
author_email = author_email,
author_date = author_date)
author_name = author_name,
author_email = author_email,
author_date = author_date)
- crt_series.push_patch(patch)
+ modified = crt_series.push_patch(patch)
+ if crt_series.empty_patch(patch):
+ print 'done (empty patch)'
+ elif modified:
+ print 'done (modified)'
+ else:
+ print 'done'