tree ed4e84c74330be052364e1ce3c676fa9ae9463c5
parent 6544160652d0fa61580fa5dc0c45ce12acc1247d
author Thomas Wolf <twolf@apache.org> 1666608254 +0200
committer Thomas Wolf <twolf@apache.org> 1666608254 +0200

Push: show pre-push hook output in PushResultDialog

Capture the output of the pre-push hook, if any, and show it in the
result dialog.

Bug: 580910
Change-Id: I56326da9870911e70cff4d14daada14e1438e1ca
Signed-off-by: Thomas Wolf <twolf@apache.org>