tree f71da9752eebcecd54ddfe7c7e3d6c7986137d24
parent 035f22abec2263a48770bffbe04e4cfdc443ff41
author Daniel Kutik <daniel.kutik@lavawerk.com> 1670931887 +0100
committer Daniel Kutik <daniel.kutik@lavawerk.com> 1670948608 +0000

Use print with flush=True instead of stdout.flush

Resolves multiple TODOs. Since we are requiring Python 3,
we move to using print function with flush=True instead of
using sys.stdout.flush().

Change-Id: I54db0344ec78ac81a8d6c6c7e43ee7d301f42f02
Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/354701
Tested-by: Daniel Kutik <daniel.kutik@lavawerk.com>
Reviewed-by: Mike Frysinger <vapier@google.com>