tree 7c7880023722a18bf668859d63aca6fac46bb246
parent 0db8f1a0e0bcfe14c0a1d85212841c34dd9adcd4
author Boris Brodski <brodsky_boris@yahoo.com> 1568283589 +0200
committer David Ostrovsky <david@ostrovsky.org> 1572768750 +0100

Bazel: Migrate workspace status script to python

Migrate tools/workspace-status.sh script to Python to ensure better
compatibility with other operating systems, as suggested in: [1].

[1] https://github.com/bazelbuild/bazel/issues/5958

Change-Id: I6935fa1a27803797b2470f770bc1b6abed2936b8