Thread (3 messages) 3 messages, 3 authors, 2016-06-15

Re: [PATCH v8 4/4] config: allow http.<url>.* any user matching

From: Kyle J. McKay <hidden>
Date: 2016-06-15 22:58:14

Possibly related (same subject, not in this thread)

On Jul 22, 2013, at 11:00, Junio C Hamano wrote:
"Kyle J. McKay" [off-list ref] writes:
quoted
diff --git a/Documentation/config.txt b/Documentation/config.txt
index e461f32..c418adf 100644
--- a/Documentation/config.txt
+++ b/Documentation/config.txt
@@ -1517,15 +1517,26 @@ http.<url>.*::
	Any of the http.* options above can be applied selectively to some  
urls.
	For example "http.https://example.com.useragent" would set the user
	agent only for https connections to example.com.  The <url> value
+	matches a url if it refers to the same scheme, host and port and  
the
+	path portion is an exact match or a prefix that matches at a "/"
+	boundary.  If <url> does not include a user name, it will match a  
url
+	with any username otherwise the user name must match as well (the
+	password part, if present in the url, is always ignored).  Longer  
<url>
+	path matches take precedence over shorter matches no matter what  
order
+	they occur in.  For example, if both "https://user@example.com/ 
path" and
+	"https://example.com/path/name" are used as a config <url> value  
and
+	then "https://user@example.com/path/name/here" is passed to a git
+	command, the settings in the "https://example.com/path/name"  
section
+	will be preferred because that <url> has a longer path length  
match than
+	"https://user@example.com/path" even though the latter did match  
the
+	user.  For same length matches, the last one wins except that a  
same
+	length <url> match that includes a user name will be preferred  
over a
+	same length <url> match that does not.  The urls are normalized  
before
+	matching so that equivalent urls that are simply spelled  
differently
+	will match properly.  Environment variable settings always  
override any
+	matches.  The urls that are matched against are those given  
directly to
+	git commands.  This means any urls visited as a result of a  
redirection
+	do not participate in matching.
A solid wall of text is somewhat hard to read, so I'd queue the
equivalent of the following "git diff -w" output on top.
Can I send out the change as a 'fixup!' patch?  Or do I need to send a  
new v9 patch series with the documentation update?
quoted hunk ↗ jump to hunk
I also was
trying to see if we can clarify the "length comparison" only refers
to the length of the path part, excluding the length of "user@"
(i.e. when comparing "https://user@example.com/path" with
"https://example.com/path", they are of the same length), which you
can see in the first three lines below.
diff --git a/Documentation/config.txt b/Documentation/config.txt
index c418adf..635ed5d 100644
--- a/Documentation/config.txt
+++ b/Documentation/config.txt
@@ -1521,9 +1521,11 @@ http.<url>.*::
	path portion is an exact match or a prefix that matches at a "/"
	boundary.  If <url> does not include a user name, it will match a url
	with any username otherwise the user name must match as well (the
-	password part, if present in the url, is always ignored).  Longer  
<url>
-	path matches take precedence over shorter matches no matter what  
order
-	they occur in.  For example, if both "https://user@example.com/ 
path" and
+	password part, if present in the url, is always ignored).  A <url>
+	with longer path matches take precedence over shorter matches no  
matter
+	what order they occur in the configuration file.
++
+For example, if both "https://user@example.com/path" and
"https://example.com/path/name" are used as a config <url> value and
then "https://user@example.com/path/name/here" is passed to a git
command, the settings in the "https://example.com/path/name" section
OK.
I am not yet convinced that the precedence rule specified in this
what we want (I do not have an example why it is *not* what we want,
either).  Another definition could be "if user@ is present in the
request, give lower precedence to config entries for the site
without user@ than entries with user@", and I do not have a strong
opinion myself which one between the two is better (and there may be
third and other possible rule).

Comments?
Consider this site:

example.com/
example.com/dir
example.com/dir/sub
example.com/dir/sub/public

Suppose I want to configure a particular key for example.com/dir/sub  
for a particular user, say "contractor".

I can configure:

[http "https://contractor@example.com/dir/sub"]
   sslkey=contractor_key

But then I want to configure a completely different key for the public  
area example.com/dir/sub/public no matter what user.  I just add this:

[http "https://example.com/dir/sub/public"]
   sslkey=public_key

But if entries with usernames take precedence it won't work.  The only  
way to do it is to list every possible user for "example.com/dir1/sub1/ 
public" in its own new section and then continue to add a new config  
section every time a new user name is encountered.

Conversely, if a special key is supposed to be used for the user  
"contractor" everywhere on the site at or below "example.com/dir/sub",  
then the above configuration doesn't work unless user matches take  
precedence.  With the current code, one additional entry would have to  
be added like so:

[http "https://contractor@example.com/dir/sub/public"]
   sslkey=contractor_key

So my thinking was that having user matches take precedence over path  
length matches can result in endless additions to the config file  
(because you have to list all the other users to override a sub area  
and that could be a large list) whereas having path length matches  
take precedence over user matches will only result in a few, finite  
additions to the config file (the number of already-configured items  
with a longer path).
Keyboard shortcuts
hback out one level
jnext message in thread
kprevious message in thread
ldrill in
Escclose help / fold thread tree
?toggle this help