Set .git extension after delete/restore of these not-actually-depreca…

…ted repos
WildMeOrg · Feb 3, 2024 · ebf23cd · ebf23cd
1 parent 25b51b0
commit ebf23cd
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/devops/provision/Dockerfile b/devops/provision/Dockerfile
@@ -25,8 +25,8 @@ RUN set -ex \
  && git clone https://github.com/WildMeOrg/wbia-tpl-pyflann.git \
  && git clone https://github.com/WildMeOrg/wbia-tpl-pydarknet.git \
  # Depricated
- && git clone https://github.com/WildMeOrg/wbia-deprecate-tpl-brambox \
- && git clone https://github.com/WildMeOrg/wbia-deprecate-tpl-lightnet
+ && git clone https://github.com/WildMeOrg/wbia-deprecate-tpl-brambox.git \
+ && git clone https://github.com/WildMeOrg/wbia-deprecate-tpl-lightnet.git
 
 # Clone first-party WBIA plug-in repositories
 RUN set -ex \