tree 7a7c3c72ea6fda3b5a0f0d053ab7028bba27a247
parent 3ba1c2ecd6a5d4a21c0232661a772de0a6bb2f90
author David Ostrovsky <david@ostrovsky.org> 1572769077 +0100
committer David Ostrovsky <david@ostrovsky.org> 1572769142 +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: If48636ede381827755c2435b96bec47ac065bedc