tree 82693c024ae221ade7f64c805b7c0cb7773f7589
parent e212914cd5ad4fc49e96f6005eab9792e0bd23cb
parent 262a4da88f131f8302d6f77f49b5e077abd9a11a
author David Ostrovsky <david@ostrovsky.org> 1572820226 +0100
committer David Ostrovsky <david@ostrovsky.org> 1572820226 +0100

Merge branch 'stable-2.14' into stable-2.15

* stable-2.14:
  Bazel: Portable way to guess whether root directory is reached
  Bazel: Special handling for plugins not under git control
  Bazel: Migrate workspace status script to python

Change-Id: I4abe4774d0132c66d932d9c5ec6ad0cc1cd78986