Merge pull request #403 from annaborn/master

add option to disable the .git suffix
rock-core · May 7, 2024 · 1c0a06c · 1c0a06c
2 parents d591195 + 9d49c96
commit 1c0a06c
Showing 1 changed file with 3 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,7 @@ 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$/
+            url += ".git" if add_suffix && url !~ /\.git$/
             url = "/#{url}" if url !~ /^\//
 
             unless GIT_SERVER_CONFIG_VARS.all? { |v| config.has_value_for?("#{name}#{v}") }