tree 9a5929586d1e2ee0ba6b9660d9a5b602149692ff
parent b75cdd5dd322ad8c22daee21cc9067e6c42f27a0
author Chad Norvell <chadnorvell@google.com> 1699320545 +0000
committer CQ Bot Account <pigweed-scoped@luci-project-accounts.iam.gserviceaccount.com> 1699320545 +0000

pw_ide: Make Sphinx extensions upstream-only

This change ensures that upstream checkouts push you to install the
Sphinx extensions, without passing that on to downstream projects.

Change-Id: Ic0f460f6c3a12116a584070d2734a3b7c12b13ff
Reviewed-on: https://pigweed-review.googlesource.com/c/pigweed/pigweed/+/171690
Reviewed-by: Anthony DiGirolamo <tonymd@google.com>
Commit-Queue: Chad Norvell <chadnorvell@google.com>