add option to disable the .git suffix

rock-core · Mar 8, 2024 · 59eb9ca · 59eb9ca
1 parent e10dd92
commit 59eb9ca
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/lib/autoproj/git_server_configuration.rb b/lib/autoproj/git_server_configuration.rb
@@ -73,7 +73,8 @@ def self.git_server_configuration(name, base_url,
         disabled_methods: [],
         config: Autoproj.config,
         fallback_to_http: nil,
-        lazy: false)
+        lazy: false,
+        add_suffix: true)
 
         disabled_methods = Array(disabled_methods)
 
@@ -100,7 +101,8 @@ def self.git_server_configuration(name, base_url,
         end
 
         Autoproj.add_source_handler name.downcase do |url, private: false, **vcs_options|
-            url += ".git" if url !~ /\.git$/
+            if add_suffix
+                url += ".git" if url !~ /\.git$/
             url = "/#{url}" if url !~ /^\//
 
             unless GIT_SERVER_CONFIG_VARS.all? { |v| config.has_value_for?("#{name}#{v}") }