threads / discuss / 2860

allow only a strictly defined set of references under .git/

Subject: allow only a strictly defined set of references under .git/

## tl;dr

3 messages between Dec 16, 2005 and Dec 16, 2005.

replies: 2people: 2as markdown or json

Alex Riesen· Dec 16, 2005, 08:24 UTC · lore
The patch below reminded me of something:
  +               /* We want to allow .git/description file and
  +                * "description" branch to exist at the same time.
  +                * "git-rev-parse description" should silently skip
  +                * .git/description file as a candidate for
  +                * get_sha1().  However, having garbage file anywhere
  +                * under refs/ is not OK, and we would not have caught
  +                * ambiguous heads and tags with the above test.
  +                */
  +               else if (**p && !access(pathname, F_OK)) {
  +                       /* Garbage exists under .git/refs */
  +                       return error("garbage ref found '%s'", pathname);
  +               }

Maybe we should only allow only a strictly defined set of refnames under $GIT_DIR? The directory is used pretty much for anything else (temporary message files, config, description).

So, if we, say, allow only HEAD, ORIG_HEAD, and MERGE_HEAD to be references in .git/ and ignore everything else. Then there will be no ambiguity anymore and no need to parse "description" or "config" reference (besides, I can very simply imagine a message file containing "ref: refs/heads/foo").

Does it make sense or have I missed some very informative discussion as to why we do allow references to be anywhere in .git?

Subject: [PATCH] The patch below reminded me of something:
  +               /* We want to allow .git/description file and
  +                * "description" branch to exist at the same time.
  +                * "git-rev-parse description" should silently skip
  +                * .git/description file as a candidate for
  +                * get_sha1().  However, having garbage file anywhere
  +                * under refs/ is not OK, and we would not have caught
  +                * ambiguous heads and tags with the above test.
  +                */
  +               else if (**p && !access(pathname, F_OK)) {
  +                       /* Garbage exists under .git/refs */
  +                       return error("garbage ref found '%s'", pathname);
  +               }
Maybe we should only allow only a strictly defined set of refnames under $GIT_DIR? The directory is used pretty much for anything else (temporary message files, config, description).
So, if we, say, allow only HEAD, ORIG_HEAD, and MERGE_HEAD to be references in .git/ and ignore everything else. Then there will be no ambiguity anymore and no need to parse "description" or "config" reference (besides, I can very simply imagine a message file containing "ref: refs/heads/foo").
Does it make sense or have I missed some very informative discussion as to why we do allow references to be anywhere in .git?
---
 sha1_name.c |   22 +++++++++++++++++++++-
 1 files changed, 21 insertions(+), 1 deletions(-)
4a0ef1ed775d2311da7125257cb734d561fd2ef1
diff --git a/sha1_name.c b/sha1_name.c
index bf8f0f0..dce1574 100644
--- a/sha1_name.c
+++ b/sha1_name.c
@@ -247,7 +247,27 @@ static int get_sha1_basic(const char *st
 	if (ambiguous_path(str, len))
 		return -1;
 
-	for (p = prefix; *p; p++) {
+	p = prefix;
+	/* Check references _without_ leading directories */
+	if (!memchr(str, '/', len)) {
+		/* only these references can be directly in $GIT_DIR... */
+		static const char *git_refs[] = {
+			"HEAD",
+			"ORIG_HEAD",
+			"FETCH_HEAD",
+			"MERGE_HEAD",
+			NULL
+		};
+		const char **r;
+		for (r = git_refs; *r; ++r)
+			if (strlen(*r) == len && strncmp(*r, str, len) == 0)
+				break;
+		/* ...all the others have to be somewhere under .git/refs/ */
+		if ( !*r )
+			++p;
+	}
+
+	for (; *p; p++) {
 		char *pathname = git_path("%s/%.*s", *p, len, str);
 
 		if (!read_ref(pathname, sha1)) {
-- 
0.99.9.GIT
Junio C Hamano· Dec 16, 2005, 18:01 UTC · re: Alex Riesen · lore

Re: allow only a strictly defined set of references under .git/

Alex Riesen <raa.lkml@gmail.com> writes:
Show 18 quoted lines
> The patch below reminded me of something:
>
>   +               /* We want to allow .git/description file and
>   +                * "description" branch to exist at the same time.
>   +                * "git-rev-parse description" should silently skip
>   +                * .git/description file as a candidate for
>   +                * get_sha1().  However, having garbage file anywhere
>   +                * under refs/ is not OK, and we would not have caught
>   +                * ambiguous heads and tags with the above test.
>   +                */
>   +               else if (**p && !access(pathname, F_OK)) {
>   +                       /* Garbage exists under .git/refs */
>   +                       return error("garbage ref found '%s'", pathname);
>   +               }
>
> Maybe we should only allow only a strictly defined set of refnames
> under $GIT_DIR? The directory is used pretty much for anything else
> (temporary message files, config, description).
I am glad somebody is paying attention.

The ref-to-object-name loop in get_sha1_basic() gets what the user gave us, first checks it immediately under .git/ and then under .git/refs, .git/refs/tags, .git/refs/heads, in this order. Originally it grabbed the first match. For the last couple of weeks, it has been made "extra careful" to detect a case where both .git/refs/heads/foo and .git/refs/tags/foo exists and to reject unadorned "foo" with complaints.

I have been nagged by a suspition that the whole disambiguation business should not be there [*1*]. I think the original semantics of getting the first match is as easy to explain, if not easier, as the current one, and I suspect that we do not have to worry about .git/refs/heads/HEAD if we did so. If somebody is curious enough to name a branch "HEAD", the only thing she should be aware of is this search order, and wherever "branchname" is called for she should be able to say "HEAD" to mean .git/refs/heads/HEAD, but places that call for an arbitrary object name, she needs to disambiguate by saying "heads/HEAD" or even "refs/heads/HEAD".

I suspect that git barebone Porcelain-ish carelessly uses "git-rev-parse --verify $branchname" when it really means "git-rev-parse --verify refs/heads/$branchname" in some places [*2*], but if we fix them, we may not even need to have the "we do not like HEAD" patch by Johannes (which has already been merged).

Probably post 1.0 --- I have not assessed the extent of confusion yet.

[Footnote]

*1* It was not in Linus version, and I consider anything I added recently is of suspecious design value.

*2* That is, where we advertise that we get branchname as parameter to the command.

Alex Riesen· Dec 16, 2005, 20:44 UTC · re: Junio C Hamano · lore

Re: allow only a strictly defined set of references under .git/

Junio C Hamano, Fri, Dec 16, 2005 19:01:20 +0100:
Show 6 quoted lines
> > Maybe we should only allow only a strictly defined set of refnames
> > under $GIT_DIR? The directory is used pretty much for anything else
> > (temporary message files, config, description).
> 
> I am glad somebody is paying attention.
> 
I actually run into it...
> Probably post 1.0 --- I have not assessed the extent of
> confusion yet.
It has good chances to continue to grow, as git gets more exposure.

← back to recent threads