tree d6737a7b9f0d1095ab534405079d1ae95427951b
parent a9925952a986a9ac7f5ba26340fd74989792bba7
author David Ostrovsky <david@ostrovsky.org> 1572769318 +0100
committer David Ostrovsky <david@ostrovsky.org> 1572769318 +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: If97392ba6dcf29bf6c9eb289d40d31e5bd6fa31b