Add Options to the public git_repo API

allenporter · Jul 7, 2023 · 4980402 · 4980402
1 parent 98d7ca0
commit 4980402
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/flux_local/git_repo.py b/flux_local/git_repo.py
@@ -63,6 +63,7 @@
     "ResourceSelector",
     "PathSelector",
     "MetadataSelector",
+    "Options",
 ]
 
 _LOGGER = logging.getLogger(__name__)