tree e452b11c10cac6d853253e44a90f5b7dff247c0a
parent b531b50b83b6680c40b2aea4ef2fda3eabdf71a0
author David Ostrovsky <david@ostrovsky.org> 1572770184 +0100
committer David Ostrovsky <david@ostrovsky.org> 1572770184 +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: I20ec325d610353309a40fc85132382004bc61bd0