244ea1b5e4
Change the revision parsing logic to match @{upstream}, @{u} & @{push} case-insensitively. Before this change supplying anything except the lower-case forms emits an "unknown revision or path not in the working tree" error. This change makes upper-case & mixed-case versions equivalent to the lower-case versions. The use-case for this is being able to hold the shift key down while typing @{u} on certain keyboard layouts, which makes the sequence easier to type, and reduces cases where git throws an error at the user where it could do what he means instead. These suffixes now join various other suffixes & special syntax documented in gitrevisions(7) that matches case-insensitively. A table showing the status of the various forms documented there before & after this patch is shown below. The key for the table is: - CI = Case Insensitive - CIP = Case Insensitive Possible (without ambiguities) - AG = Accepts Garbage (.e.g. @{./.4.minutes./.}) Before this change: |----------------+-----+------+-----| | What? | CI? | CIP? | AG? | |----------------+-----+------+-----| | @{<date>} | Y | Y | Y | | @{upstream} | N | Y | N | | @{push} | N | Y | N | |----------------+-----+------+-----| After it: |----------------+-----+------+-----| | What? | CI? | CIP? | AG? | |----------------+-----+------+-----| | @{<date>} | Y | Y | Y | | @{upstream} | Y | Y | N | | @{push} | Y | Y | N | |----------------+-----+------+-----| The ^{<type>} suffix is not made case-insensitive, because other places that take <type> like "cat-file -t <type>" do want them case sensitively (after all we never declared that type names are case insensitive). Allowing case-insensitive typename only with this syntax will make the resulting Git as a whole inconsistent. This change was independently authored to scratch a longtime itch, but when I was about to submit it I discovered that a similar patch had been submitted unsuccessfully before by Conrad Irwin in August 2011 as "rev-parse: Allow @{U} as a synonym for @{u}" (<1313287071-7851-1-git-send-email-conrad.irwin@gmail.com>). The tests for this patch are more exhaustive than in the 2011 submission. The starting point for them was to first change the code to only support upper-case versions of the existing words, seeing what broke, and amending the breaking tests to check upper case & mixed case as appropriate, and where not redundant to other similar tests. The implementation itself is equivalent. Signed-off-by: Ævar Arnfjörð Bjarmason <avarab@gmail.com> Signed-off-by: Junio C Hamano <gitster@pobox.com>
370 lines
15 KiB
Plaintext
370 lines
15 KiB
Plaintext
SPECIFYING REVISIONS
|
|
--------------------
|
|
|
|
A revision parameter '<rev>' typically, but not necessarily, names a
|
|
commit object. It uses what is called an 'extended SHA-1'
|
|
syntax. Here are various ways to spell object names. The
|
|
ones listed near the end of this list name trees and
|
|
blobs contained in a commit.
|
|
|
|
'<sha1>', e.g. 'dae86e1950b1277e545cee180551750029cfe735', 'dae86e'::
|
|
The full SHA-1 object name (40-byte hexadecimal string), or
|
|
a leading substring that is unique within the repository.
|
|
E.g. dae86e1950b1277e545cee180551750029cfe735 and dae86e both
|
|
name the same commit object if there is no other object in
|
|
your repository whose object name starts with dae86e.
|
|
|
|
'<describeOutput>', e.g. 'v1.7.4.2-679-g3bee7fb'::
|
|
Output from `git describe`; i.e. a closest tag, optionally
|
|
followed by a dash and a number of commits, followed by a dash, a
|
|
'g', and an abbreviated object name.
|
|
|
|
'<refname>', e.g. 'master', 'heads/master', 'refs/heads/master'::
|
|
A symbolic ref name. E.g. 'master' typically means the commit
|
|
object referenced by 'refs/heads/master'. If you
|
|
happen to have both 'heads/master' and 'tags/master', you can
|
|
explicitly say 'heads/master' to tell Git which one you mean.
|
|
When ambiguous, a '<refname>' is disambiguated by taking the
|
|
first match in the following rules:
|
|
|
|
. If '$GIT_DIR/<refname>' exists, that is what you mean (this is usually
|
|
useful only for `HEAD`, `FETCH_HEAD`, `ORIG_HEAD`, `MERGE_HEAD`
|
|
and `CHERRY_PICK_HEAD`);
|
|
|
|
. otherwise, 'refs/<refname>' if it exists;
|
|
|
|
. otherwise, 'refs/tags/<refname>' if it exists;
|
|
|
|
. otherwise, 'refs/heads/<refname>' if it exists;
|
|
|
|
. otherwise, 'refs/remotes/<refname>' if it exists;
|
|
|
|
. otherwise, 'refs/remotes/<refname>/HEAD' if it exists.
|
|
+
|
|
`HEAD` names the commit on which you based the changes in the working tree.
|
|
`FETCH_HEAD` records the branch which you fetched from a remote repository
|
|
with your last `git fetch` invocation.
|
|
`ORIG_HEAD` is created by commands that move your `HEAD` in a drastic
|
|
way, to record the position of the `HEAD` before their operation, so that
|
|
you can easily change the tip of the branch back to the state before you ran
|
|
them.
|
|
`MERGE_HEAD` records the commit(s) which you are merging into your branch
|
|
when you run `git merge`.
|
|
`CHERRY_PICK_HEAD` records the commit which you are cherry-picking
|
|
when you run `git cherry-pick`.
|
|
+
|
|
Note that any of the 'refs/*' cases above may come either from
|
|
the '$GIT_DIR/refs' directory or from the '$GIT_DIR/packed-refs' file.
|
|
While the ref name encoding is unspecified, UTF-8 is preferred as
|
|
some output processing may assume ref names in UTF-8.
|
|
|
|
'@'::
|
|
'@' alone is a shortcut for `HEAD`.
|
|
|
|
'<refname>@{<date>}', e.g. 'master@\{yesterday\}', 'HEAD@{5 minutes ago}'::
|
|
A ref followed by the suffix '@' with a date specification
|
|
enclosed in a brace
|
|
pair (e.g. '\{yesterday\}', '{1 month 2 weeks 3 days 1 hour 1
|
|
second ago}' or '{1979-02-26 18:30:00}') specifies the value
|
|
of the ref at a prior point in time. This suffix may only be
|
|
used immediately following a ref name and the ref must have an
|
|
existing log ('$GIT_DIR/logs/<ref>'). Note that this looks up the state
|
|
of your *local* ref at a given time; e.g., what was in your local
|
|
'master' branch last week. If you want to look at commits made during
|
|
certain times, see `--since` and `--until`.
|
|
|
|
'<refname>@{<n>}', e.g. 'master@\{1\}'::
|
|
A ref followed by the suffix '@' with an ordinal specification
|
|
enclosed in a brace pair (e.g. '\{1\}', '\{15\}') specifies
|
|
the n-th prior value of that ref. For example 'master@\{1\}'
|
|
is the immediate prior value of 'master' while 'master@\{5\}'
|
|
is the 5th prior value of 'master'. This suffix may only be used
|
|
immediately following a ref name and the ref must have an existing
|
|
log ('$GIT_DIR/logs/<refname>').
|
|
|
|
'@{<n>}', e.g. '@\{1\}'::
|
|
You can use the '@' construct with an empty ref part to get at a
|
|
reflog entry of the current branch. For example, if you are on
|
|
branch 'blabla' then '@\{1\}' means the same as 'blabla@\{1\}'.
|
|
|
|
'@{-<n>}', e.g. '@{-1}'::
|
|
The construct '@{-<n>}' means the <n>th branch/commit checked out
|
|
before the current one.
|
|
|
|
'<branchname>@\{upstream\}', e.g. 'master@\{upstream\}', '@\{u\}'::
|
|
The suffix '@\{upstream\}' to a branchname (short form '<branchname>@\{u\}')
|
|
refers to the branch that the branch specified by branchname is set to build on
|
|
top of (configured with `branch.<name>.remote` and
|
|
`branch.<name>.merge`). A missing branchname defaults to the
|
|
current one. These suffixes are also accepted when spelled in uppercase, and
|
|
they mean the same thing no matter the case.
|
|
|
|
'<branchname>@\{push\}', e.g. 'master@\{push\}', '@\{push\}'::
|
|
The suffix '@\{push}' reports the branch "where we would push to" if
|
|
`git push` were run while `branchname` was checked out (or the current
|
|
`HEAD` if no branchname is specified). Since our push destination is
|
|
in a remote repository, of course, we report the local tracking branch
|
|
that corresponds to that branch (i.e., something in 'refs/remotes/').
|
|
+
|
|
Here's an example to make it more clear:
|
|
+
|
|
------------------------------
|
|
$ git config push.default current
|
|
$ git config remote.pushdefault myfork
|
|
$ git checkout -b mybranch origin/master
|
|
|
|
$ git rev-parse --symbolic-full-name @{upstream}
|
|
refs/remotes/origin/master
|
|
|
|
$ git rev-parse --symbolic-full-name @{push}
|
|
refs/remotes/myfork/mybranch
|
|
------------------------------
|
|
+
|
|
Note in the example that we set up a triangular workflow, where we pull
|
|
from one location and push to another. In a non-triangular workflow,
|
|
'@\{push}' is the same as '@\{upstream}', and there is no need for it.
|
|
+
|
|
This suffix is also accepted when spelled in uppercase, and means the same
|
|
thing no matter the case.
|
|
|
|
'<rev>{caret}', e.g. 'HEAD{caret}, v1.5.1{caret}0'::
|
|
A suffix '{caret}' to a revision parameter means the first parent of
|
|
that commit object. '{caret}<n>' means the <n>th parent (i.e.
|
|
'<rev>{caret}'
|
|
is equivalent to '<rev>{caret}1'). As a special rule,
|
|
'<rev>{caret}0' means the commit itself and is used when '<rev>' is the
|
|
object name of a tag object that refers to a commit object.
|
|
|
|
'<rev>{tilde}<n>', e.g. 'master{tilde}3'::
|
|
A suffix '{tilde}<n>' to a revision parameter means the commit
|
|
object that is the <n>th generation ancestor of the named
|
|
commit object, following only the first parents. I.e. '<rev>{tilde}3' is
|
|
equivalent to '<rev>{caret}{caret}{caret}' which is equivalent to
|
|
'<rev>{caret}1{caret}1{caret}1'. See below for an illustration of
|
|
the usage of this form.
|
|
|
|
'<rev>{caret}{<type>}', e.g. 'v0.99.8{caret}\{commit\}'::
|
|
A suffix '{caret}' followed by an object type name enclosed in
|
|
brace pair means dereference the object at '<rev>' recursively until
|
|
an object of type '<type>' is found or the object cannot be
|
|
dereferenced anymore (in which case, barf).
|
|
For example, if '<rev>' is a commit-ish, '<rev>{caret}\{commit\}'
|
|
describes the corresponding commit object.
|
|
Similarly, if '<rev>' is a tree-ish, '<rev>{caret}\{tree\}'
|
|
describes the corresponding tree object.
|
|
'<rev>{caret}0'
|
|
is a short-hand for '<rev>{caret}\{commit\}'.
|
|
+
|
|
'rev{caret}\{object\}' can be used to make sure 'rev' names an
|
|
object that exists, without requiring 'rev' to be a tag, and
|
|
without dereferencing 'rev'; because a tag is already an object,
|
|
it does not have to be dereferenced even once to get to an object.
|
|
+
|
|
'rev{caret}\{tag\}' can be used to ensure that 'rev' identifies an
|
|
existing tag object.
|
|
|
|
'<rev>{caret}{}', e.g. 'v0.99.8{caret}{}'::
|
|
A suffix '{caret}' followed by an empty brace pair
|
|
means the object could be a tag,
|
|
and dereference the tag recursively until a non-tag object is
|
|
found.
|
|
|
|
'<rev>{caret}{/<text>}', e.g. 'HEAD^{/fix nasty bug}'::
|
|
A suffix '{caret}' to a revision parameter, followed by a brace
|
|
pair that contains a text led by a slash,
|
|
is the same as the ':/fix nasty bug' syntax below except that
|
|
it returns the youngest matching commit which is reachable from
|
|
the '<rev>' before '{caret}'.
|
|
|
|
':/<text>', e.g. ':/fix nasty bug'::
|
|
A colon, followed by a slash, followed by a text, names
|
|
a commit whose commit message matches the specified regular expression.
|
|
This name returns the youngest matching commit which is
|
|
reachable from any ref. The regular expression can match any part of the
|
|
commit message. To match messages starting with a string, one can use
|
|
e.g. ':/^foo'. The special sequence ':/!' is reserved for modifiers to what
|
|
is matched. ':/!-foo' performs a negative match, while ':/!!foo' matches a
|
|
literal '!' character, followed by 'foo'. Any other sequence beginning with
|
|
':/!' is reserved for now.
|
|
|
|
'<rev>:<path>', e.g. 'HEAD:README', ':README', 'master:./README'::
|
|
A suffix ':' followed by a path names the blob or tree
|
|
at the given path in the tree-ish object named by the part
|
|
before the colon.
|
|
':path' (with an empty part before the colon)
|
|
is a special case of the syntax described next: content
|
|
recorded in the index at the given path.
|
|
A path starting with './' or '../' is relative to the current working directory.
|
|
The given path will be converted to be relative to the working tree's root directory.
|
|
This is most useful to address a blob or tree from a commit or tree that has
|
|
the same tree structure as the working tree.
|
|
|
|
':<n>:<path>', e.g. ':0:README', ':README'::
|
|
A colon, optionally followed by a stage number (0 to 3) and a
|
|
colon, followed by a path, names a blob object in the
|
|
index at the given path. A missing stage number (and the colon
|
|
that follows it) names a stage 0 entry. During a merge, stage
|
|
1 is the common ancestor, stage 2 is the target branch's version
|
|
(typically the current branch), and stage 3 is the version from
|
|
the branch which is being merged.
|
|
|
|
Here is an illustration, by Jon Loeliger. Both commit nodes B
|
|
and C are parents of commit node A. Parent commits are ordered
|
|
left-to-right.
|
|
|
|
........................................
|
|
G H I J
|
|
\ / \ /
|
|
D E F
|
|
\ | / \
|
|
\ | / |
|
|
\|/ |
|
|
B C
|
|
\ /
|
|
\ /
|
|
A
|
|
........................................
|
|
|
|
A = = A^0
|
|
B = A^ = A^1 = A~1
|
|
C = A^2 = A^2
|
|
D = A^^ = A^1^1 = A~2
|
|
E = B^2 = A^^2
|
|
F = B^3 = A^^3
|
|
G = A^^^ = A^1^1^1 = A~3
|
|
H = D^2 = B^^2 = A^^^2 = A~2^2
|
|
I = F^ = B^3^ = A^^3^
|
|
J = F^2 = B^3^2 = A^^3^2
|
|
|
|
|
|
SPECIFYING RANGES
|
|
-----------------
|
|
|
|
History traversing commands such as `git log` operate on a set
|
|
of commits, not just a single commit.
|
|
|
|
For these commands,
|
|
specifying a single revision, using the notation described in the
|
|
previous section, means the set of commits `reachable` from the given
|
|
commit.
|
|
|
|
A commit's reachable set is the commit itself and the commits in
|
|
its ancestry chain.
|
|
|
|
|
|
Commit Exclusions
|
|
~~~~~~~~~~~~~~~~~
|
|
|
|
'{caret}<rev>' (caret) Notation::
|
|
To exclude commits reachable from a commit, a prefix '{caret}'
|
|
notation is used. E.g. '{caret}r1 r2' means commits reachable
|
|
from 'r2' but exclude the ones reachable from 'r1' (i.e. 'r1' and
|
|
its ancestors).
|
|
|
|
Dotted Range Notations
|
|
~~~~~~~~~~~~~~~~~~~~~~
|
|
|
|
The '..' (two-dot) Range Notation::
|
|
The '{caret}r1 r2' set operation appears so often that there is a shorthand
|
|
for it. When you have two commits 'r1' and 'r2' (named according
|
|
to the syntax explained in SPECIFYING REVISIONS above), you can ask
|
|
for commits that are reachable from r2 excluding those that are reachable
|
|
from r1 by '{caret}r1 r2' and it can be written as 'r1..r2'.
|
|
|
|
The '...' (three dot) Symmetric Difference Notation::
|
|
A similar notation 'r1\...r2' is called symmetric difference
|
|
of 'r1' and 'r2' and is defined as
|
|
'r1 r2 --not $(git merge-base --all r1 r2)'.
|
|
It is the set of commits that are reachable from either one of
|
|
'r1' (left side) or 'r2' (right side) but not from both.
|
|
|
|
In these two shorthand notations, you can omit one end and let it default to HEAD.
|
|
For example, 'origin..' is a shorthand for 'origin..HEAD' and asks "What
|
|
did I do since I forked from the origin branch?" Similarly, '..origin'
|
|
is a shorthand for 'HEAD..origin' and asks "What did the origin do since
|
|
I forked from them?" Note that '..' would mean 'HEAD..HEAD' which is an
|
|
empty range that is both reachable and unreachable from HEAD.
|
|
|
|
Other <rev>{caret} Parent Shorthand Notations
|
|
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
|
|
Three other shorthands exist, particularly useful for merge commits,
|
|
for naming a set that is formed by a commit and its parent commits.
|
|
|
|
The 'r1{caret}@' notation means all parents of 'r1'.
|
|
|
|
The 'r1{caret}!' notation includes commit 'r1' but excludes all of its parents.
|
|
By itself, this notation denotes the single commit 'r1'.
|
|
|
|
The '<rev>{caret}-{<n>}' notation includes '<rev>' but excludes the <n>th
|
|
parent (i.e. a shorthand for '<rev>{caret}<n>..<rev>'), with '<n>' = 1 if
|
|
not given. This is typically useful for merge commits where you
|
|
can just pass '<commit>{caret}-' to get all the commits in the branch
|
|
that was merged in merge commit '<commit>' (including '<commit>'
|
|
itself).
|
|
|
|
While '<rev>{caret}<n>' was about specifying a single commit parent, these
|
|
three notations also consider its parents. For example you can say
|
|
'HEAD{caret}2{caret}@', however you cannot say 'HEAD{caret}@{caret}2'.
|
|
|
|
Revision Range Summary
|
|
----------------------
|
|
|
|
'<rev>'::
|
|
Include commits that are reachable from <rev> (i.e. <rev> and its
|
|
ancestors).
|
|
|
|
'{caret}<rev>'::
|
|
Exclude commits that are reachable from <rev> (i.e. <rev> and its
|
|
ancestors).
|
|
|
|
'<rev1>..<rev2>'::
|
|
Include commits that are reachable from <rev2> but exclude
|
|
those that are reachable from <rev1>. When either <rev1> or
|
|
<rev2> is omitted, it defaults to `HEAD`.
|
|
|
|
'<rev1>\...<rev2>'::
|
|
Include commits that are reachable from either <rev1> or
|
|
<rev2> but exclude those that are reachable from both. When
|
|
either <rev1> or <rev2> is omitted, it defaults to `HEAD`.
|
|
|
|
'<rev>{caret}@', e.g. 'HEAD{caret}@'::
|
|
A suffix '{caret}' followed by an at sign is the same as listing
|
|
all parents of '<rev>' (meaning, include anything reachable from
|
|
its parents, but not the commit itself).
|
|
|
|
'<rev>{caret}!', e.g. 'HEAD{caret}!'::
|
|
A suffix '{caret}' followed by an exclamation mark is the same
|
|
as giving commit '<rev>' and then all its parents prefixed with
|
|
'{caret}' to exclude them (and their ancestors).
|
|
|
|
'<rev>{caret}-{<n>}', e.g. 'HEAD{caret}-, HEAD{caret}-2'::
|
|
Equivalent to '<rev>{caret}<n>..<rev>', with '<n>' = 1 if not
|
|
given.
|
|
|
|
Here are a handful of examples using the Loeliger illustration above,
|
|
with each step in the notation's expansion and selection carefully
|
|
spelt out:
|
|
|
|
Args Expanded arguments Selected commits
|
|
D G H D
|
|
D F G H I J D F
|
|
^G D H D
|
|
^D B E I J F B
|
|
^D B C E I J F B C
|
|
C I J F C
|
|
B..C = ^B C C
|
|
B...C = B ^F C G H D E B C
|
|
B^- = B^..B
|
|
= ^B^1 B E I J F B
|
|
C^@ = C^1
|
|
= F I J F
|
|
B^@ = B^1 B^2 B^3
|
|
= D E F D G H E F I J
|
|
C^! = C ^C^@
|
|
= C ^C^1
|
|
= C ^F C
|
|
B^! = B ^B^@
|
|
= B ^B^1 ^B^2 ^B^3
|
|
= B ^D ^E ^F B
|
|
F^! D = F ^I ^J D G H D F
|