2005-06-06 20:31:29 +00:00
|
|
|
#ifndef REFS_H
|
|
|
|
#define REFS_H
|
|
|
|
|
2022-08-05 17:58:36 +00:00
|
|
|
#include "commit.h"
|
2020-09-01 22:28:08 +00:00
|
|
|
|
2017-03-18 02:03:11 +00:00
|
|
|
struct object_id;
|
2017-03-26 02:42:29 +00:00
|
|
|
struct ref_store;
|
2018-08-15 17:54:05 +00:00
|
|
|
struct repository;
|
2017-03-18 02:03:11 +00:00
|
|
|
struct strbuf;
|
|
|
|
struct string_list;
|
2018-08-15 17:54:05 +00:00
|
|
|
struct string_list_item;
|
2017-04-24 10:01:22 +00:00
|
|
|
struct worktree;
|
2017-03-18 02:03:11 +00:00
|
|
|
|
2015-06-22 14:03:05 +00:00
|
|
|
/*
|
|
|
|
* Resolve a reference, recursively following symbolic refererences.
|
|
|
|
*
|
2017-09-23 09:41:45 +00:00
|
|
|
* Return the name of the non-symbolic reference that ultimately pointed
|
|
|
|
* at the resolved object name. The return value, if not NULL, is a
|
|
|
|
* pointer into either a static buffer or the input ref.
|
|
|
|
*
|
refs: convert resolve_ref_unsafe to struct object_id
Convert resolve_ref_unsafe to take a pointer to struct object_id by
converting one remaining caller to use struct object_id, removing the
temporary NULL pointer check in expand_ref, converting the declaration
and definition, and applying the following semantic patch:
@@
expression E1, E2, E3, E4;
@@
- resolve_ref_unsafe(E1, E2, E3.hash, E4)
+ resolve_ref_unsafe(E1, E2, &E3, E4)
@@
expression E1, E2, E3, E4;
@@
- resolve_ref_unsafe(E1, E2, E3->hash, E4)
+ resolve_ref_unsafe(E1, E2, E3, E4)
Signed-off-by: brian m. carlson <sandals@crustytoothpaste.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
2017-10-15 22:07:09 +00:00
|
|
|
* If oid is non-NULL, store the referred-to object's name in it.
|
2015-06-22 14:03:05 +00:00
|
|
|
*
|
|
|
|
* If the reference cannot be resolved to an object, the behavior
|
|
|
|
* depends on the RESOLVE_REF_READING flag:
|
|
|
|
*
|
|
|
|
* - If RESOLVE_REF_READING is set, return NULL.
|
|
|
|
*
|
refs: convert resolve_ref_unsafe to struct object_id
Convert resolve_ref_unsafe to take a pointer to struct object_id by
converting one remaining caller to use struct object_id, removing the
temporary NULL pointer check in expand_ref, converting the declaration
and definition, and applying the following semantic patch:
@@
expression E1, E2, E3, E4;
@@
- resolve_ref_unsafe(E1, E2, E3.hash, E4)
+ resolve_ref_unsafe(E1, E2, &E3, E4)
@@
expression E1, E2, E3, E4;
@@
- resolve_ref_unsafe(E1, E2, E3->hash, E4)
+ resolve_ref_unsafe(E1, E2, E3, E4)
Signed-off-by: brian m. carlson <sandals@crustytoothpaste.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
2017-10-15 22:07:09 +00:00
|
|
|
* - If RESOLVE_REF_READING is not set, clear oid and return the name of
|
2015-06-22 14:03:05 +00:00
|
|
|
* the last reference name in the chain, which will either be a non-symbolic
|
|
|
|
* reference or an undefined reference. If this is a prelude to
|
|
|
|
* "writing" to the ref, the return value is the name of the ref
|
|
|
|
* that will actually be created or changed.
|
|
|
|
*
|
|
|
|
* If the RESOLVE_REF_NO_RECURSE flag is passed, only resolves one
|
refs: convert resolve_ref_unsafe to struct object_id
Convert resolve_ref_unsafe to take a pointer to struct object_id by
converting one remaining caller to use struct object_id, removing the
temporary NULL pointer check in expand_ref, converting the declaration
and definition, and applying the following semantic patch:
@@
expression E1, E2, E3, E4;
@@
- resolve_ref_unsafe(E1, E2, E3.hash, E4)
+ resolve_ref_unsafe(E1, E2, &E3, E4)
@@
expression E1, E2, E3, E4;
@@
- resolve_ref_unsafe(E1, E2, E3->hash, E4)
+ resolve_ref_unsafe(E1, E2, E3, E4)
Signed-off-by: brian m. carlson <sandals@crustytoothpaste.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
2017-10-15 22:07:09 +00:00
|
|
|
* level of symbolic reference. The value stored in oid for a symbolic
|
|
|
|
* reference will always be null_oid in this case, and the return
|
2015-06-22 14:03:05 +00:00
|
|
|
* value is the reference that the symref refers to directly.
|
|
|
|
*
|
|
|
|
* If flags is non-NULL, set the value that it points to the
|
|
|
|
* combination of REF_ISPACKED (if the reference was found among the
|
|
|
|
* packed references), REF_ISSYMREF (if the initial reference was a
|
|
|
|
* symbolic reference), REF_BAD_NAME (if the reference name is ill
|
|
|
|
* formed --- see RESOLVE_REF_ALLOW_BAD_NAME below), and REF_ISBROKEN
|
|
|
|
* (if the ref is malformed or has a bad name). See refs.h for more detail
|
|
|
|
* on each flag.
|
|
|
|
*
|
|
|
|
* If ref is not a properly-formatted, normalized reference, return
|
|
|
|
* NULL. If more than MAXDEPTH recursive symbolic lookups are needed,
|
|
|
|
* give up and return NULL.
|
|
|
|
*
|
|
|
|
* RESOLVE_REF_ALLOW_BAD_NAME allows resolving refs even when their
|
|
|
|
* name is invalid according to git-check-ref-format(1). If the name
|
refs: convert resolve_ref_unsafe to struct object_id
Convert resolve_ref_unsafe to take a pointer to struct object_id by
converting one remaining caller to use struct object_id, removing the
temporary NULL pointer check in expand_ref, converting the declaration
and definition, and applying the following semantic patch:
@@
expression E1, E2, E3, E4;
@@
- resolve_ref_unsafe(E1, E2, E3.hash, E4)
+ resolve_ref_unsafe(E1, E2, &E3, E4)
@@
expression E1, E2, E3, E4;
@@
- resolve_ref_unsafe(E1, E2, E3->hash, E4)
+ resolve_ref_unsafe(E1, E2, E3, E4)
Signed-off-by: brian m. carlson <sandals@crustytoothpaste.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
2017-10-15 22:07:09 +00:00
|
|
|
* is bad then the value stored in oid will be null_oid and the two
|
2015-06-22 14:03:05 +00:00
|
|
|
* flags REF_ISBROKEN and REF_BAD_NAME will be set.
|
|
|
|
*
|
|
|
|
* Even with RESOLVE_REF_ALLOW_BAD_NAME, names that escape the refs/
|
|
|
|
* directory and do not consist of all caps and underscores cannot be
|
|
|
|
* resolved. The function returns NULL for such ref names.
|
|
|
|
* Caps and underscores refers to the special refs, such as HEAD,
|
|
|
|
* FETCH_HEAD and friends, that all live outside of the refs/ directory.
|
|
|
|
*/
|
|
|
|
#define RESOLVE_REF_READING 0x01
|
|
|
|
#define RESOLVE_REF_NO_RECURSE 0x02
|
|
|
|
#define RESOLVE_REF_ALLOW_BAD_NAME 0x04
|
|
|
|
|
2023-05-12 21:34:41 +00:00
|
|
|
struct pack_refs_opts {
|
|
|
|
unsigned int flags;
|
|
|
|
struct ref_exclusions *exclusions;
|
2023-05-12 21:34:42 +00:00
|
|
|
struct string_list *includes;
|
2023-05-12 21:34:41 +00:00
|
|
|
};
|
|
|
|
|
2017-03-26 02:42:34 +00:00
|
|
|
const char *refs_resolve_ref_unsafe(struct ref_store *refs,
|
|
|
|
const char *refname,
|
|
|
|
int resolve_flags,
|
refs: convert resolve_ref_unsafe to struct object_id
Convert resolve_ref_unsafe to take a pointer to struct object_id by
converting one remaining caller to use struct object_id, removing the
temporary NULL pointer check in expand_ref, converting the declaration
and definition, and applying the following semantic patch:
@@
expression E1, E2, E3, E4;
@@
- resolve_ref_unsafe(E1, E2, E3.hash, E4)
+ resolve_ref_unsafe(E1, E2, &E3, E4)
@@
expression E1, E2, E3, E4;
@@
- resolve_ref_unsafe(E1, E2, E3->hash, E4)
+ resolve_ref_unsafe(E1, E2, E3, E4)
Signed-off-by: brian m. carlson <sandals@crustytoothpaste.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
2017-10-15 22:07:09 +00:00
|
|
|
struct object_id *oid,
|
2022-01-26 14:37:01 +00:00
|
|
|
int *flags);
|
2021-10-16 09:39:26 +00:00
|
|
|
|
2016-03-31 04:19:22 +00:00
|
|
|
const char *resolve_ref_unsafe(const char *refname, int resolve_flags,
|
refs: convert resolve_ref_unsafe to struct object_id
Convert resolve_ref_unsafe to take a pointer to struct object_id by
converting one remaining caller to use struct object_id, removing the
temporary NULL pointer check in expand_ref, converting the declaration
and definition, and applying the following semantic patch:
@@
expression E1, E2, E3, E4;
@@
- resolve_ref_unsafe(E1, E2, E3.hash, E4)
+ resolve_ref_unsafe(E1, E2, &E3, E4)
@@
expression E1, E2, E3, E4;
@@
- resolve_ref_unsafe(E1, E2, E3->hash, E4)
+ resolve_ref_unsafe(E1, E2, E3, E4)
Signed-off-by: brian m. carlson <sandals@crustytoothpaste.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
2017-10-15 22:07:09 +00:00
|
|
|
struct object_id *oid, int *flags);
|
2015-06-22 14:03:05 +00:00
|
|
|
|
2017-03-26 02:42:34 +00:00
|
|
|
char *refs_resolve_refdup(struct ref_store *refs,
|
|
|
|
const char *refname, int resolve_flags,
|
refs: convert resolve_refdup and refs_resolve_refdup to struct object_id
All of the callers already pass the hash member of struct object_id, so
update them to pass a pointer to the struct directly,
This transformation was done with an update to declaration and
definition and the following semantic patch:
@@
expression E1, E2, E3, E4;
@@
- resolve_refdup(E1, E2, E3.hash, E4)
+ resolve_refdup(E1, E2, &E3, E4)
@@
expression E1, E2, E3, E4;
@@
- resolve_refdup(E1, E2, E3->hash, E4)
+ resolve_refdup(E1, E2, E3, E4)
Signed-off-by: brian m. carlson <sandals@crustytoothpaste.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
2017-10-15 22:06:55 +00:00
|
|
|
struct object_id *oid, int *flags);
|
2016-03-31 04:19:22 +00:00
|
|
|
char *resolve_refdup(const char *refname, int resolve_flags,
|
refs: convert resolve_refdup and refs_resolve_refdup to struct object_id
All of the callers already pass the hash member of struct object_id, so
update them to pass a pointer to the struct directly,
This transformation was done with an update to declaration and
definition and the following semantic patch:
@@
expression E1, E2, E3, E4;
@@
- resolve_refdup(E1, E2, E3.hash, E4)
+ resolve_refdup(E1, E2, &E3, E4)
@@
expression E1, E2, E3, E4;
@@
- resolve_refdup(E1, E2, E3->hash, E4)
+ resolve_refdup(E1, E2, E3, E4)
Signed-off-by: brian m. carlson <sandals@crustytoothpaste.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
2017-10-15 22:06:55 +00:00
|
|
|
struct object_id *oid, int *flags);
|
2015-06-22 14:03:05 +00:00
|
|
|
|
2016-03-31 04:19:22 +00:00
|
|
|
int read_ref_full(const char *refname, int resolve_flags,
|
2017-10-15 22:06:56 +00:00
|
|
|
struct object_id *oid, int *flags);
|
|
|
|
int read_ref(const char *refname, struct object_id *oid);
|
2015-06-22 14:03:05 +00:00
|
|
|
|
refs: add ability for backends to special-case reading of symbolic refs
Reading of symbolic and non-symbolic references is currently treated the
same in reference backends: we always call `refs_read_raw_ref()` and
then decide based on the returned flags what type it is. This has one
downside though: symbolic references may be treated different from
normal references in a backend from normal references. The packed-refs
backend for example doesn't even know about symbolic references, and as
a result it is pointless to even ask it for one.
There are cases where we really only care about whether a reference is
symbolic or not, but don't care about whether it exists at all or may be
a non-symbolic reference. But it is not possible to optimize for this
case right now, and as a consequence we will always first check for a
loose reference to exist, and if it doesn't, we'll query the packed-refs
backend for a known-to-not-be-symbolic reference. This is inefficient
and requires us to search all packed references even though we know to
not care for the result at all.
Introduce a new function `refs_read_symbolic_ref()` which allows us to
fix this case. This function will only ever return symbolic references
and can thus optimize for the scenario layed out above. By default, if
the backend doesn't provide an implementation for it, we just use the
old code path and fall back to `read_raw_ref()`. But in case the backend
provides its own, more efficient implementation, we will use that one
instead.
Note that this function is explicitly designed to not distinguish
between missing references and non-symbolic references. If it did, we'd
be forced to always search the packed-refs backend to see whether the
symbolic reference the user asked for really doesn't exist, or if it
exists as a non-symbolic reference.
Signed-off-by: Patrick Steinhardt <ps@pks.im>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
2022-03-01 09:33:46 +00:00
|
|
|
int refs_read_symbolic_ref(struct ref_store *ref_store, const char *refname,
|
|
|
|
struct strbuf *referent);
|
|
|
|
|
2017-03-26 02:42:34 +00:00
|
|
|
/*
|
|
|
|
* Return 0 if a reference named refname could be created without
|
|
|
|
* conflicting with the name of an existing reference. Otherwise,
|
|
|
|
* return a negative value and write an explanation to err. If extras
|
|
|
|
* is non-NULL, it is a list of additional refnames with which refname
|
|
|
|
* is not allowed to conflict. If skip is non-NULL, ignore potential
|
|
|
|
* conflicts with refs in skip (e.g., because they are scheduled for
|
|
|
|
* deletion in the same operation). Behavior is undefined if the same
|
|
|
|
* name is listed in both extras and skip.
|
|
|
|
*
|
|
|
|
* Two reference names conflict if one of them exactly matches the
|
|
|
|
* leading components of the other; e.g., "foo/bar" conflicts with
|
|
|
|
* both "foo" and with "foo/bar/baz" but not with "foo/bar" or
|
|
|
|
* "foo/barbados".
|
|
|
|
*
|
|
|
|
* extras and skip must be sorted.
|
|
|
|
*/
|
|
|
|
|
|
|
|
int refs_verify_refname_available(struct ref_store *refs,
|
|
|
|
const char *refname,
|
2017-04-16 06:41:26 +00:00
|
|
|
const struct string_list *extras,
|
2017-03-26 02:42:34 +00:00
|
|
|
const struct string_list *skip,
|
|
|
|
struct strbuf *err);
|
|
|
|
|
2020-08-21 16:59:34 +00:00
|
|
|
int refs_ref_exists(struct ref_store *refs, const char *refname);
|
|
|
|
|
2016-03-31 04:19:22 +00:00
|
|
|
int ref_exists(const char *refname);
|
2015-06-22 14:03:05 +00:00
|
|
|
|
2017-01-27 10:09:47 +00:00
|
|
|
int should_autocreate_reflog(const char *refname);
|
|
|
|
|
2016-03-31 04:19:22 +00:00
|
|
|
int is_branch(const char *refname);
|
2015-06-22 14:03:05 +00:00
|
|
|
|
2019-04-29 08:28:14 +00:00
|
|
|
int refs_init_db(struct strbuf *err);
|
2016-09-04 16:08:41 +00:00
|
|
|
|
2015-06-22 14:03:05 +00:00
|
|
|
/*
|
refs: switch peel_ref() to peel_iterated_oid()
The peel_ref() interface is confusing and error-prone:
- it's typically used by ref iteration callbacks that have both a
refname and oid. But since they pass only the refname, we may load
the ref value from the filesystem again. This is inefficient, but
also means we are open to a race if somebody simultaneously updates
the ref. E.g., this:
int some_ref_cb(const char *refname, const struct object_id *oid, ...)
{
if (!peel_ref(refname, &peeled))
printf("%s peels to %s",
oid_to_hex(oid), oid_to_hex(&peeled);
}
could print nonsense. It is correct to say "refname peels to..."
(you may see the "before" value or the "after" value, either of
which is consistent), but mentioning both oids may be mixing
before/after values.
Worse, whether this is possible depends on whether the optimization
to read from the current iterator value kicks in. So it is actually
not possible with:
for_each_ref(some_ref_cb);
but it _is_ possible with:
head_ref(some_ref_cb);
which does not use the iterator mechanism (though in practice, HEAD
should never peel to anything, so this may not be triggerable).
- it must take a fully-qualified refname for the read_ref_full() code
path to work. Yet we routinely pass it partial refnames from
callbacks to for_each_tag_ref(), etc. This happens to work when
iterating because there we do not call read_ref_full() at all, and
only use the passed refname to check if it is the same as the
iterator. But the requirements for the function parameters are quite
unclear.
Instead of taking a refname, let's instead take an oid. That fixes both
problems. It's a little funny for a "ref" function not to involve refs
at all. The key thing is that it's optimizing under the hood based on
having access to the ref iterator. So let's change the name to make it
clear why you'd want this function versus just peel_object().
There are two other directions I considered but rejected:
- we could pass the peel information into the each_ref_fn callback.
However, we don't know if the caller actually wants it or not. For
packed-refs, providing it is essentially free. But for loose refs,
we actually have to peel the object, which would be wasteful in most
cases. We could likewise pass in a flag to the callback indicating
whether the peeled information is known, but that complicates those
callbacks, as they then have to decide whether to manually peel
themselves. Plus it requires changing the interface of every
callback, whether they care about peeling or not, and there are many
of them.
- we could make a function to return the peeled value of the current
iterated ref (computing it if necessary), and BUG() otherwise. I.e.:
int peel_current_iterated_ref(struct object_id *out);
Each of the current callers is an each_ref_fn callback, so they'd
mostly be happy. But:
- we use those callbacks with functions like head_ref(), which do
not use the iteration code. So we'd need to handle the fallback
case there, anyway.
- it's possible that a caller would want to call into generic code
that sometimes is used during iteration and sometimes not. This
encapsulates the logic to do the fast thing when possible, and
fallback when necessary.
The implementation is mostly obvious, but I want to call out a few
things in the patch:
- the test-tool coverage for peel_ref() is now meaningless, as it all
collapses to a single peel_object() call (arguably they were pretty
uninteresting before; the tricky part of that function is the
fast-path we see during iteration, but these calls didn't trigger
that). I've just dropped it entirely, though note that some other
tests relied on the tags we created; I've moved that creation to the
tests where it matters.
- we no longer need to take a ref_store parameter, since we'd never
look up a ref now. We do still rely on a global "current iterator"
variable which _could_ be kept per-ref-store. But in practice this
is only useful if there are multiple recursive iterations, at which
point the more appropriate solution is probably a stack of
iterators. No caller used the actual ref-store parameter anyway
(they all call the wrapper that passes the_repository).
- the original only kicked in the optimization when the "refname"
pointer matched (i.e., not string comparison). We do likewise with
the "oid" parameter here, but fall back to doing an actual oideq()
call. This in theory lets us kick in the optimization more often,
though in practice no current caller cares. It should never be
wrong, though (peeling is a property of an object, so two refs
pointing to the same object would peel identically).
- the original took care not to touch the peeled out-parameter unless
we found something to put in it. But no caller cares about this, and
anyway, it is enforced by peel_object() itself (and even in the
optimized iterator case, that's where we eventually end up). We can
shorten the code and avoid an extra copy by just passing the
out-parameter through the stack.
Signed-off-by: Jeff King <peff@peff.net>
Reviewed-by: Taylor Blau <me@ttaylorr.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
2021-01-20 19:44:43 +00:00
|
|
|
* Return the peeled value of the oid currently being iterated via
|
|
|
|
* for_each_ref(), etc. This is equivalent to calling:
|
|
|
|
*
|
|
|
|
* peel_object(oid, &peeled);
|
|
|
|
*
|
|
|
|
* with the "oid" value given to the each_ref_fn callback, except
|
|
|
|
* that some ref storage may be able to answer the query without
|
|
|
|
* actually loading the object in memory.
|
2015-06-22 14:03:05 +00:00
|
|
|
*/
|
refs: switch peel_ref() to peel_iterated_oid()
The peel_ref() interface is confusing and error-prone:
- it's typically used by ref iteration callbacks that have both a
refname and oid. But since they pass only the refname, we may load
the ref value from the filesystem again. This is inefficient, but
also means we are open to a race if somebody simultaneously updates
the ref. E.g., this:
int some_ref_cb(const char *refname, const struct object_id *oid, ...)
{
if (!peel_ref(refname, &peeled))
printf("%s peels to %s",
oid_to_hex(oid), oid_to_hex(&peeled);
}
could print nonsense. It is correct to say "refname peels to..."
(you may see the "before" value or the "after" value, either of
which is consistent), but mentioning both oids may be mixing
before/after values.
Worse, whether this is possible depends on whether the optimization
to read from the current iterator value kicks in. So it is actually
not possible with:
for_each_ref(some_ref_cb);
but it _is_ possible with:
head_ref(some_ref_cb);
which does not use the iterator mechanism (though in practice, HEAD
should never peel to anything, so this may not be triggerable).
- it must take a fully-qualified refname for the read_ref_full() code
path to work. Yet we routinely pass it partial refnames from
callbacks to for_each_tag_ref(), etc. This happens to work when
iterating because there we do not call read_ref_full() at all, and
only use the passed refname to check if it is the same as the
iterator. But the requirements for the function parameters are quite
unclear.
Instead of taking a refname, let's instead take an oid. That fixes both
problems. It's a little funny for a "ref" function not to involve refs
at all. The key thing is that it's optimizing under the hood based on
having access to the ref iterator. So let's change the name to make it
clear why you'd want this function versus just peel_object().
There are two other directions I considered but rejected:
- we could pass the peel information into the each_ref_fn callback.
However, we don't know if the caller actually wants it or not. For
packed-refs, providing it is essentially free. But for loose refs,
we actually have to peel the object, which would be wasteful in most
cases. We could likewise pass in a flag to the callback indicating
whether the peeled information is known, but that complicates those
callbacks, as they then have to decide whether to manually peel
themselves. Plus it requires changing the interface of every
callback, whether they care about peeling or not, and there are many
of them.
- we could make a function to return the peeled value of the current
iterated ref (computing it if necessary), and BUG() otherwise. I.e.:
int peel_current_iterated_ref(struct object_id *out);
Each of the current callers is an each_ref_fn callback, so they'd
mostly be happy. But:
- we use those callbacks with functions like head_ref(), which do
not use the iteration code. So we'd need to handle the fallback
case there, anyway.
- it's possible that a caller would want to call into generic code
that sometimes is used during iteration and sometimes not. This
encapsulates the logic to do the fast thing when possible, and
fallback when necessary.
The implementation is mostly obvious, but I want to call out a few
things in the patch:
- the test-tool coverage for peel_ref() is now meaningless, as it all
collapses to a single peel_object() call (arguably they were pretty
uninteresting before; the tricky part of that function is the
fast-path we see during iteration, but these calls didn't trigger
that). I've just dropped it entirely, though note that some other
tests relied on the tags we created; I've moved that creation to the
tests where it matters.
- we no longer need to take a ref_store parameter, since we'd never
look up a ref now. We do still rely on a global "current iterator"
variable which _could_ be kept per-ref-store. But in practice this
is only useful if there are multiple recursive iterations, at which
point the more appropriate solution is probably a stack of
iterators. No caller used the actual ref-store parameter anyway
(they all call the wrapper that passes the_repository).
- the original only kicked in the optimization when the "refname"
pointer matched (i.e., not string comparison). We do likewise with
the "oid" parameter here, but fall back to doing an actual oideq()
call. This in theory lets us kick in the optimization more often,
though in practice no current caller cares. It should never be
wrong, though (peeling is a property of an object, so two refs
pointing to the same object would peel identically).
- the original took care not to touch the peeled out-parameter unless
we found something to put in it. But no caller cares about this, and
anyway, it is enforced by peel_object() itself (and even in the
optimized iterator case, that's where we eventually end up). We can
shorten the code and avoid an extra copy by just passing the
out-parameter through the stack.
Signed-off-by: Jeff King <peff@peff.net>
Reviewed-by: Taylor Blau <me@ttaylorr.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
2021-01-20 19:44:43 +00:00
|
|
|
int peel_iterated_oid(const struct object_id *base, struct object_id *peeled);
|
2015-06-22 14:03:05 +00:00
|
|
|
|
|
|
|
/**
|
2016-09-04 16:08:24 +00:00
|
|
|
* Resolve refname in the nested "gitlink" repository in the specified
|
|
|
|
* submodule (which must be non-NULL). If the resolution is
|
2017-11-05 08:42:09 +00:00
|
|
|
* successful, return 0 and set oid to the name of the object;
|
2016-09-04 16:08:24 +00:00
|
|
|
* otherwise, return a non-zero value.
|
2015-06-22 14:03:05 +00:00
|
|
|
*/
|
2016-09-04 16:08:24 +00:00
|
|
|
int resolve_gitlink_ref(const char *submodule, const char *refname,
|
refs: convert resolve_gitlink_ref to struct object_id
Convert the declaration and definition of resolve_gitlink_ref to use
struct object_id and apply the following semantic patch:
@@
expression E1, E2, E3;
@@
- resolve_gitlink_ref(E1, E2, E3.hash)
+ resolve_gitlink_ref(E1, E2, &E3)
@@
expression E1, E2, E3;
@@
- resolve_gitlink_ref(E1, E2, E3->hash)
+ resolve_gitlink_ref(E1, E2, E3)
Signed-off-by: brian m. carlson <sandals@crustytoothpaste.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
2017-10-15 22:07:07 +00:00
|
|
|
struct object_id *oid);
|
2015-06-22 14:03:05 +00:00
|
|
|
|
|
|
|
/*
|
|
|
|
* Return true iff abbrev_name is a possible abbreviation for
|
|
|
|
* full_name according to the rules defined by ref_rev_parse_rules in
|
|
|
|
* refs.c.
|
|
|
|
*/
|
2016-03-31 04:19:22 +00:00
|
|
|
int refname_match(const char *abbrev_name, const char *full_name);
|
2015-06-22 14:03:05 +00:00
|
|
|
|
2018-03-15 17:31:24 +00:00
|
|
|
/*
|
|
|
|
* Given a 'prefix' expand it by the rules in 'ref_rev_parse_rules' and add
|
|
|
|
* the results to 'prefixes'
|
|
|
|
*/
|
argv-array: rename to strvec
The name "argv-array" isn't very good, because it describes what the
data type can be used for (program argument arrays), not what it
actually is (a dynamically-growing string array that maintains a
NULL-terminator invariant). This leads to people being hesitant to use
it for other cases where it would actually be a good fit. The existing
name is also clunky to use. It's overly long, and the name often leads
to saying things like "argv.argv" (i.e., the field names overlap with
variable names, since they're describing the use, not the type). Let's
give it a more neutral name.
I settled on "strvec" because "vector" is the name for a dynamic array
type in many programming languages. "strarray" would work, too, but it's
longer and a bit more awkward to say (and don't we all say these things
in our mind as we type them?).
A more extreme direction would be a generic data structure which stores
a NULL-terminated of _any_ type. That would be easy to do with void
pointers, but we'd lose some type safety for the existing cases. Plus it
raises questions about memory allocation and ownership. So I limited
myself here to changing names only, and not semantics. If we do find a
use for that more generic data type, we could perhaps implement it at a
lower level and then provide type-safe wrappers around it for strings.
But that can come later.
This patch does the minimum to convert the struct and function names in
the header and implementation, leaving a few things for follow-on
patches:
- files retain their original names for now
- struct field names are retained for now
- there's a preprocessor compat layer that lets most users remain the
same for now. The exception is headers which made a manual forward
declaration of the struct. I've converted them (and their dependent
function declarations) here.
Signed-off-by: Jeff King <peff@peff.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
2020-07-28 20:23:25 +00:00
|
|
|
struct strvec;
|
|
|
|
void expand_ref_prefix(struct strvec *prefixes, const char *prefix);
|
2018-03-15 17:31:24 +00:00
|
|
|
|
2019-04-06 11:34:27 +00:00
|
|
|
int expand_ref(struct repository *r, const char *str, int len, struct object_id *oid, char **ref);
|
2020-09-01 22:28:09 +00:00
|
|
|
int repo_dwim_ref(struct repository *r, const char *str, int len,
|
|
|
|
struct object_id *oid, char **ref, int nonfatal_dangling_mark);
|
2019-04-06 11:34:29 +00:00
|
|
|
int repo_dwim_log(struct repository *r, const char *str, int len, struct object_id *oid, char **ref);
|
2017-10-15 22:06:59 +00:00
|
|
|
int dwim_log(const char *str, int len, struct object_id *oid, char **ref);
|
2015-06-22 14:03:05 +00:00
|
|
|
|
2020-06-24 14:46:33 +00:00
|
|
|
/*
|
|
|
|
* Retrieves the default branch name for newly-initialized repositories.
|
|
|
|
*
|
|
|
|
* The return value of `repo_default_branch_name()` is an allocated string. The
|
|
|
|
* return value of `git_default_branch_name()` is a singleton.
|
|
|
|
*/
|
2020-12-11 11:36:56 +00:00
|
|
|
const char *git_default_branch_name(int quiet);
|
|
|
|
char *repo_default_branch_name(struct repository *r, int quiet);
|
2020-06-24 14:46:33 +00:00
|
|
|
|
2014-04-16 22:26:44 +00:00
|
|
|
/*
|
ref_transaction_prepare(): new optional step for reference updates
In the future, compound reference stores will sometimes need to modify
references in two different reference stores at the same time, meaning
that a single logical reference transaction might have to be
implemented as two internal sub-transactions. They won't want to call
`ref_transaction_commit()` for the two sub-transactions one after the
other, because that wouldn't be atomic (the first commit could succeed
and the second one fail). Instead, they will want to prepare both
sub-transactions (i.e., obtain any necessary locks and do any
pre-checks), and only if both prepare steps succeed, then commit both
sub-transactions.
Start preparing for that day by adding a new, optional
`ref_transaction_prepare()` step to the reference transaction
sequence, which obtains the locks and does any prechecks, reporting
any errors that occur. Also add a `ref_transaction_abort()` function
that can be used to abort a sub-transaction even if it has already
been prepared.
That is on the side of the public-facing API. On the side of the
`ref_store` VTABLE, get rid of `transaction_commit` and instead add
methods `transaction_prepare`, `transaction_finish`, and
`transaction_abort`. A `ref_transaction_commit()` now basically calls
methods `transaction_prepare` then `transaction_finish`.
Signed-off-by: Michael Haggerty <mhagger@alum.mit.edu>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
2017-05-22 14:17:44 +00:00
|
|
|
* A ref_transaction represents a collection of reference updates that
|
|
|
|
* should succeed or fail together.
|
2014-04-16 22:26:44 +00:00
|
|
|
*
|
|
|
|
* Calling sequence
|
|
|
|
* ----------------
|
ref_transaction_prepare(): new optional step for reference updates
In the future, compound reference stores will sometimes need to modify
references in two different reference stores at the same time, meaning
that a single logical reference transaction might have to be
implemented as two internal sub-transactions. They won't want to call
`ref_transaction_commit()` for the two sub-transactions one after the
other, because that wouldn't be atomic (the first commit could succeed
and the second one fail). Instead, they will want to prepare both
sub-transactions (i.e., obtain any necessary locks and do any
pre-checks), and only if both prepare steps succeed, then commit both
sub-transactions.
Start preparing for that day by adding a new, optional
`ref_transaction_prepare()` step to the reference transaction
sequence, which obtains the locks and does any prechecks, reporting
any errors that occur. Also add a `ref_transaction_abort()` function
that can be used to abort a sub-transaction even if it has already
been prepared.
That is on the side of the public-facing API. On the side of the
`ref_store` VTABLE, get rid of `transaction_commit` and instead add
methods `transaction_prepare`, `transaction_finish`, and
`transaction_abort`. A `ref_transaction_commit()` now basically calls
methods `transaction_prepare` then `transaction_finish`.
Signed-off-by: Michael Haggerty <mhagger@alum.mit.edu>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
2017-05-22 14:17:44 +00:00
|
|
|
*
|
2014-04-16 22:26:44 +00:00
|
|
|
* - Allocate and initialize a `struct ref_transaction` by calling
|
|
|
|
* `ref_transaction_begin()`.
|
|
|
|
*
|
ref_transaction_prepare(): new optional step for reference updates
In the future, compound reference stores will sometimes need to modify
references in two different reference stores at the same time, meaning
that a single logical reference transaction might have to be
implemented as two internal sub-transactions. They won't want to call
`ref_transaction_commit()` for the two sub-transactions one after the
other, because that wouldn't be atomic (the first commit could succeed
and the second one fail). Instead, they will want to prepare both
sub-transactions (i.e., obtain any necessary locks and do any
pre-checks), and only if both prepare steps succeed, then commit both
sub-transactions.
Start preparing for that day by adding a new, optional
`ref_transaction_prepare()` step to the reference transaction
sequence, which obtains the locks and does any prechecks, reporting
any errors that occur. Also add a `ref_transaction_abort()` function
that can be used to abort a sub-transaction even if it has already
been prepared.
That is on the side of the public-facing API. On the side of the
`ref_store` VTABLE, get rid of `transaction_commit` and instead add
methods `transaction_prepare`, `transaction_finish`, and
`transaction_abort`. A `ref_transaction_commit()` now basically calls
methods `transaction_prepare` then `transaction_finish`.
Signed-off-by: Michael Haggerty <mhagger@alum.mit.edu>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
2017-05-22 14:17:44 +00:00
|
|
|
* - Specify the intended ref updates by calling one or more of the
|
|
|
|
* following functions:
|
|
|
|
* - `ref_transaction_update()`
|
|
|
|
* - `ref_transaction_create()`
|
|
|
|
* - `ref_transaction_delete()`
|
|
|
|
* - `ref_transaction_verify()`
|
|
|
|
*
|
|
|
|
* - Then either:
|
|
|
|
*
|
|
|
|
* - Optionally call `ref_transaction_prepare()` to prepare the
|
|
|
|
* transaction. This locks all references, checks preconditions,
|
|
|
|
* etc. but doesn't finalize anything. If this step fails, the
|
|
|
|
* transaction has been closed and can only be freed. If this step
|
|
|
|
* succeeds, then `ref_transaction_commit()` is almost certain to
|
|
|
|
* succeed. However, you can still call `ref_transaction_abort()`
|
|
|
|
* if you decide not to commit the transaction after all.
|
|
|
|
*
|
|
|
|
* - Call `ref_transaction_commit()` to execute the transaction,
|
|
|
|
* make the changes permanent, and release all locks. If you
|
|
|
|
* haven't already called `ref_transaction_prepare()`, then
|
|
|
|
* `ref_transaction_commit()` calls it for you.
|
|
|
|
*
|
|
|
|
* Or
|
|
|
|
*
|
|
|
|
* - Call `initial_ref_transaction_commit()` if the ref database is
|
|
|
|
* known to be empty and have no other writers (e.g. during
|
|
|
|
* clone). This is likely to be much faster than
|
|
|
|
* `ref_transaction_commit()`. `ref_transaction_prepare()` should
|
|
|
|
* *not* be called before `initial_ref_transaction_commit()`.
|
|
|
|
*
|
|
|
|
* - Then finally, call `ref_transaction_free()` to free the
|
|
|
|
* `ref_transaction` data structure.
|
|
|
|
*
|
|
|
|
* At any time before calling `ref_transaction_commit()`, you can call
|
|
|
|
* `ref_transaction_abort()` to abort the transaction, rollback any
|
|
|
|
* locks, and free any associated resources (including the
|
|
|
|
* `ref_transaction` data structure).
|
|
|
|
*
|
|
|
|
* Putting it all together, a complete reference update looks like
|
|
|
|
*
|
|
|
|
* struct ref_transaction *transaction;
|
|
|
|
* struct strbuf err = STRBUF_INIT;
|
|
|
|
* int ret = 0;
|
|
|
|
*
|
2022-04-13 22:51:33 +00:00
|
|
|
* transaction = ref_store_transaction_begin(refs, &err);
|
ref_transaction_prepare(): new optional step for reference updates
In the future, compound reference stores will sometimes need to modify
references in two different reference stores at the same time, meaning
that a single logical reference transaction might have to be
implemented as two internal sub-transactions. They won't want to call
`ref_transaction_commit()` for the two sub-transactions one after the
other, because that wouldn't be atomic (the first commit could succeed
and the second one fail). Instead, they will want to prepare both
sub-transactions (i.e., obtain any necessary locks and do any
pre-checks), and only if both prepare steps succeed, then commit both
sub-transactions.
Start preparing for that day by adding a new, optional
`ref_transaction_prepare()` step to the reference transaction
sequence, which obtains the locks and does any prechecks, reporting
any errors that occur. Also add a `ref_transaction_abort()` function
that can be used to abort a sub-transaction even if it has already
been prepared.
That is on the side of the public-facing API. On the side of the
`ref_store` VTABLE, get rid of `transaction_commit` and instead add
methods `transaction_prepare`, `transaction_finish`, and
`transaction_abort`. A `ref_transaction_commit()` now basically calls
methods `transaction_prepare` then `transaction_finish`.
Signed-off-by: Michael Haggerty <mhagger@alum.mit.edu>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
2017-05-22 14:17:44 +00:00
|
|
|
* if (!transaction ||
|
|
|
|
* ref_transaction_update(...) ||
|
|
|
|
* ref_transaction_create(...) ||
|
|
|
|
* ...etc... ||
|
|
|
|
* ref_transaction_commit(transaction, &err)) {
|
|
|
|
* error("%s", err.buf);
|
|
|
|
* ret = -1;
|
|
|
|
* }
|
|
|
|
* ref_transaction_free(transaction);
|
|
|
|
* strbuf_release(&err);
|
|
|
|
* return ret;
|
2014-04-16 22:26:44 +00:00
|
|
|
*
|
|
|
|
* Error handling
|
|
|
|
* --------------
|
|
|
|
*
|
|
|
|
* On error, transaction functions append a message about what
|
|
|
|
* went wrong to the 'err' argument. The message mentions what
|
|
|
|
* ref was being updated (if any) when the error occurred so it
|
|
|
|
* can be passed to 'die' or 'error' as-is.
|
|
|
|
*
|
|
|
|
* The message is appended to err without first clearing err.
|
|
|
|
* err will not be '\n' terminated.
|
2016-02-25 20:05:46 +00:00
|
|
|
*
|
|
|
|
* Caveats
|
|
|
|
* -------
|
|
|
|
*
|
|
|
|
* Note that no locks are taken, and no refs are read, until
|
ref_transaction_prepare(): new optional step for reference updates
In the future, compound reference stores will sometimes need to modify
references in two different reference stores at the same time, meaning
that a single logical reference transaction might have to be
implemented as two internal sub-transactions. They won't want to call
`ref_transaction_commit()` for the two sub-transactions one after the
other, because that wouldn't be atomic (the first commit could succeed
and the second one fail). Instead, they will want to prepare both
sub-transactions (i.e., obtain any necessary locks and do any
pre-checks), and only if both prepare steps succeed, then commit both
sub-transactions.
Start preparing for that day by adding a new, optional
`ref_transaction_prepare()` step to the reference transaction
sequence, which obtains the locks and does any prechecks, reporting
any errors that occur. Also add a `ref_transaction_abort()` function
that can be used to abort a sub-transaction even if it has already
been prepared.
That is on the side of the public-facing API. On the side of the
`ref_store` VTABLE, get rid of `transaction_commit` and instead add
methods `transaction_prepare`, `transaction_finish`, and
`transaction_abort`. A `ref_transaction_commit()` now basically calls
methods `transaction_prepare` then `transaction_finish`.
Signed-off-by: Michael Haggerty <mhagger@alum.mit.edu>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
2017-05-22 14:17:44 +00:00
|
|
|
* `ref_transaction_prepare()` or `ref_transaction_commit()` is
|
|
|
|
* called. So, for example, `ref_transaction_verify()` won't report a
|
|
|
|
* verification failure until the commit is attempted.
|
2014-04-16 22:26:44 +00:00
|
|
|
*/
|
2014-04-07 13:48:10 +00:00
|
|
|
struct ref_transaction;
|
|
|
|
|
2013-04-14 12:54:16 +00:00
|
|
|
/*
|
refs: introduce an iterator interface
Currently, the API for iterating over references is via a family of
for_each_ref()-type functions that invoke a callback function for each
selected reference. All of these eventually call do_for_each_ref(),
which knows how to do one thing: iterate in parallel through two
ref_caches, one for loose and one for packed refs, giving loose
references precedence over packed refs. This is rather complicated code,
and is quite specialized to the files backend. It also requires callers
to encapsulate their work into a callback function, which often means
that they have to define and use a "cb_data" struct to manage their
context.
The current design is already bursting at the seams, and will become
even more awkward in the upcoming world of multiple reference storage
backends:
* Per-worktree vs. shared references are currently handled via a kludge
in git_path() rather than iterating over each part of the reference
namespace separately and merging the results. This kludge will cease
to work when we have multiple reference storage backends.
* The current scheme is inflexible. What if we sometimes want to bypass
the ref_cache, or use it only for packed or only for loose refs? What
if we want to store symbolic refs in one type of storage backend and
non-symbolic ones in another?
In the future, each reference backend will need to define its own way of
iterating over references. The crux of the problem with the current
design is that it is impossible to compose for_each_ref()-style
iterations, because the flow of control is owned by the for_each_ref()
function. There is nothing that a caller can do but iterate through all
references in a single burst, so there is no way for it to interleave
references from multiple backends and present the result to the rest of
the world as a single compound backend.
This commit introduces a new iteration primitive for references: a
ref_iterator. A ref_iterator is a polymorphic object that a reference
storage backend can be asked to instantiate. There are three functions
that can be applied to a ref_iterator:
* ref_iterator_advance(): move to the next reference in the iteration
* ref_iterator_abort(): end the iteration before it is exhausted
* ref_iterator_peel(): peel the reference currently being looked at
Iterating using a ref_iterator leaves the flow of control in the hands
of the caller, which means that ref_iterators from multiple
sources (e.g., loose and packed refs) can be composed and presented to
the world as a single compound ref_iterator.
It also means that the backend code for implementing reference iteration
will sometimes be more complicated. For example, the
cache_ref_iterator (which iterates over a ref_cache) can't use the C
stack to recurse; instead, it must manage its own stack internally as
explicit data structures. There is also a lot of boilerplate connected
with object-oriented programming in C.
Eventually, end-user callers will be able to be written in a more
natural way—managing their own flow of control rather than having to
work via callbacks. Since there will only be a few reference backends
but there are many consumers of this API, this is a good tradeoff.
More importantly, we gain composability, and especially the possibility
of writing interchangeable parts that can work with any ref_iterator.
For example, merge_ref_iterator implements a generic way of merging the
contents of any two ref_iterators. It is used to merge loose + packed
refs as part of the implementation of the files_ref_iterator. But it
will also be possible to use it to merge other pairs of reference
sources (e.g., per-worktree vs. shared refs).
Another example is prefix_ref_iterator, which can be used to trim a
prefix off the front of reference names before presenting them to the
caller (e.g., "refs/heads/master" -> "master").
In this patch, we introduce the iterator abstraction and many utilities,
and implement a reference iterator for the files ref storage backend.
(I've written several other obvious utilities, for example a generic way
to filter references being iterated over. These will probably be useful
in the future. But they are not needed for this patch series, so I am
not including them at this time.)
In a moment we will rewrite do_for_each_ref() to work via reference
iterators (allowing some special-purpose code to be discarded), and do
something similar for reflogs. In future patch series, we will expose
the ref_iterator abstraction in the public refs API so that callers can
use it directly.
Implementation note: I tried abstracting this a layer further to allow
generic iterators (over arbitrary types of objects) and generic
utilities like a generic merge_iterator. But the implementation in C was
very cumbersome, involving (in my opinion) too much boilerplate and too
much unsafe casting, some of which would have had to be done on the
caller side. However, I did put a few iterator-related constants in a
top-level header file, iterator.h, as they will be useful in a moment to
implement iteration over directory trees and possibly other types of
iterators in the future.
Signed-off-by: Ramsay Jones <ramsay@ramsayjones.plus.com>
Signed-off-by: Michael Haggerty <mhagger@alum.mit.edu>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
2016-06-18 04:15:15 +00:00
|
|
|
* Bit values set in the flags argument passed to each_ref_fn() and
|
|
|
|
* stored in ref_iterator::flags. Other bits are for internal use
|
|
|
|
* only:
|
2013-04-14 12:54:16 +00:00
|
|
|
*/
|
|
|
|
|
|
|
|
/* Reference is a symbolic reference. */
|
2011-10-19 20:45:50 +00:00
|
|
|
#define REF_ISSYMREF 0x01
|
2013-04-14 12:54:16 +00:00
|
|
|
|
|
|
|
/* Reference is a packed reference. */
|
2011-10-19 20:45:50 +00:00
|
|
|
#define REF_ISPACKED 0x02
|
2013-04-14 12:54:16 +00:00
|
|
|
|
|
|
|
/*
|
|
|
|
* Reference cannot be resolved to an object name: dangling symbolic
|
refs.c: allow listing and deleting badly named refs
We currently do not handle badly named refs well:
$ cp .git/refs/heads/master .git/refs/heads/master.....@\*@\\.
$ git branch
fatal: Reference has invalid format: 'refs/heads/master.....@*@\.'
$ git branch -D master.....@\*@\\.
error: branch 'master.....@*@\.' not found.
Users cannot recover from a badly named ref without manually finding
and deleting the loose ref file or appropriate line in packed-refs.
Making that easier will make it easier to tweak the ref naming rules
in the future, for example to forbid shell metacharacters like '`'
and '"', without putting people in a state that is hard to get out of.
So allow "branch --list" to show these refs and allow "branch -d/-D"
and "update-ref -d" to delete them. Other commands (for example to
rename refs) will continue to not handle these refs but can be changed
in later patches.
Details:
In resolving functions, refuse to resolve refs that don't pass the
git-check-ref-format(1) check unless the new RESOLVE_REF_ALLOW_BAD_NAME
flag is passed. Even with RESOLVE_REF_ALLOW_BAD_NAME, refuse to
resolve refs that escape the refs/ directory and do not match the
pattern [A-Z_]* (think "HEAD" and "MERGE_HEAD").
In locking functions, refuse to act on badly named refs unless they
are being deleted and either are in the refs/ directory or match [A-Z_]*.
Just like other invalid refs, flag resolved, badly named refs with the
REF_ISBROKEN flag, treat them as resolving to null_sha1, and skip them
in all iteration functions except for for_each_rawref.
Flag badly named refs (but not symrefs pointing to badly named refs)
with a REF_BAD_NAME flag to make it easier for future callers to
notice and handle them specially. For example, in a later patch
for-each-ref will use this flag to detect refs whose names can confuse
callers parsing for-each-ref output.
In the transaction API, refuse to create or update badly named refs,
but allow deleting them (unless they try to escape refs/ and don't match
[A-Z_]*).
Signed-off-by: Ronnie Sahlberg <sahlberg@google.com>
Signed-off-by: Jonathan Nieder <jrnieder@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
2014-09-03 18:45:43 +00:00
|
|
|
* reference (directly or indirectly), corrupt reference file,
|
|
|
|
* reference exists but name is bad, or symbolic reference refers to
|
|
|
|
* ill-formatted reference name.
|
2013-04-14 12:54:16 +00:00
|
|
|
*/
|
2011-10-19 20:45:50 +00:00
|
|
|
#define REF_ISBROKEN 0x04
|
2006-11-22 07:36:35 +00:00
|
|
|
|
refs.c: allow listing and deleting badly named refs
We currently do not handle badly named refs well:
$ cp .git/refs/heads/master .git/refs/heads/master.....@\*@\\.
$ git branch
fatal: Reference has invalid format: 'refs/heads/master.....@*@\.'
$ git branch -D master.....@\*@\\.
error: branch 'master.....@*@\.' not found.
Users cannot recover from a badly named ref without manually finding
and deleting the loose ref file or appropriate line in packed-refs.
Making that easier will make it easier to tweak the ref naming rules
in the future, for example to forbid shell metacharacters like '`'
and '"', without putting people in a state that is hard to get out of.
So allow "branch --list" to show these refs and allow "branch -d/-D"
and "update-ref -d" to delete them. Other commands (for example to
rename refs) will continue to not handle these refs but can be changed
in later patches.
Details:
In resolving functions, refuse to resolve refs that don't pass the
git-check-ref-format(1) check unless the new RESOLVE_REF_ALLOW_BAD_NAME
flag is passed. Even with RESOLVE_REF_ALLOW_BAD_NAME, refuse to
resolve refs that escape the refs/ directory and do not match the
pattern [A-Z_]* (think "HEAD" and "MERGE_HEAD").
In locking functions, refuse to act on badly named refs unless they
are being deleted and either are in the refs/ directory or match [A-Z_]*.
Just like other invalid refs, flag resolved, badly named refs with the
REF_ISBROKEN flag, treat them as resolving to null_sha1, and skip them
in all iteration functions except for for_each_rawref.
Flag badly named refs (but not symrefs pointing to badly named refs)
with a REF_BAD_NAME flag to make it easier for future callers to
notice and handle them specially. For example, in a later patch
for-each-ref will use this flag to detect refs whose names can confuse
callers parsing for-each-ref output.
In the transaction API, refuse to create or update badly named refs,
but allow deleting them (unless they try to escape refs/ and don't match
[A-Z_]*).
Signed-off-by: Ronnie Sahlberg <sahlberg@google.com>
Signed-off-by: Jonathan Nieder <jrnieder@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
2014-09-03 18:45:43 +00:00
|
|
|
/*
|
|
|
|
* Reference name is not well formed.
|
|
|
|
*
|
|
|
|
* See git-check-ref-format(1) for the definition of well formed ref names.
|
|
|
|
*/
|
|
|
|
#define REF_BAD_NAME 0x08
|
|
|
|
|
2005-07-03 03:23:36 +00:00
|
|
|
/*
|
2013-05-25 09:08:24 +00:00
|
|
|
* The signature for the callback function for the for_each_*()
|
2017-11-05 08:42:09 +00:00
|
|
|
* functions below. The memory pointed to by the refname and oid
|
2013-05-25 09:08:24 +00:00
|
|
|
* arguments is only guaranteed to be valid for the duration of a
|
|
|
|
* single callback invocation.
|
|
|
|
*/
|
|
|
|
typedef int each_ref_fn(const char *refname,
|
2015-05-25 18:38:28 +00:00
|
|
|
const struct object_id *oid, int flags, void *cb_data);
|
|
|
|
|
2018-08-20 18:24:16 +00:00
|
|
|
/*
|
|
|
|
* The same as each_ref_fn, but also with a repository argument that
|
|
|
|
* contains the repository associated with the callback.
|
|
|
|
*/
|
|
|
|
typedef int each_repo_ref_fn(struct repository *r,
|
|
|
|
const char *refname,
|
|
|
|
const struct object_id *oid,
|
|
|
|
int flags,
|
|
|
|
void *cb_data);
|
|
|
|
|
2013-05-25 09:08:24 +00:00
|
|
|
/*
|
|
|
|
* The following functions invoke the specified callback function for
|
|
|
|
* each reference indicated. If the function ever returns a nonzero
|
|
|
|
* value, stop the iteration and return that value. Please note that
|
|
|
|
* it is not safe to modify references while an iteration is in
|
|
|
|
* progress, unless the same callback function invocation that
|
|
|
|
* modifies the reference also returns a nonzero value to immediately
|
2017-03-26 02:42:41 +00:00
|
|
|
* stop the iteration. Returned references are sorted.
|
2005-07-03 03:23:36 +00:00
|
|
|
*/
|
2017-08-23 12:36:55 +00:00
|
|
|
int refs_head_ref(struct ref_store *refs,
|
|
|
|
each_ref_fn fn, void *cb_data);
|
2017-03-26 02:42:34 +00:00
|
|
|
int refs_for_each_ref(struct ref_store *refs,
|
|
|
|
each_ref_fn fn, void *cb_data);
|
|
|
|
int refs_for_each_ref_in(struct ref_store *refs, const char *prefix,
|
|
|
|
each_ref_fn fn, void *cb_data);
|
|
|
|
int refs_for_each_tag_ref(struct ref_store *refs,
|
|
|
|
each_ref_fn fn, void *cb_data);
|
|
|
|
int refs_for_each_branch_ref(struct ref_store *refs,
|
|
|
|
each_ref_fn fn, void *cb_data);
|
|
|
|
int refs_for_each_remote_ref(struct ref_store *refs,
|
|
|
|
each_ref_fn fn, void *cb_data);
|
|
|
|
|
2019-11-17 21:04:46 +00:00
|
|
|
/* just iterates the head ref. */
|
2016-03-31 04:19:22 +00:00
|
|
|
int head_ref(each_ref_fn fn, void *cb_data);
|
2019-11-17 21:04:46 +00:00
|
|
|
|
|
|
|
/* iterates all refs. */
|
2016-03-31 04:19:22 +00:00
|
|
|
int for_each_ref(each_ref_fn fn, void *cb_data);
|
2019-11-17 21:04:46 +00:00
|
|
|
|
|
|
|
/**
|
|
|
|
* iterates all refs which have a defined prefix and strips that prefix from
|
|
|
|
* the passed variable refname.
|
|
|
|
*/
|
2016-03-31 04:19:22 +00:00
|
|
|
int for_each_ref_in(const char *prefix, each_ref_fn fn, void *cb_data);
|
2019-11-17 21:04:46 +00:00
|
|
|
|
2017-08-23 12:36:56 +00:00
|
|
|
int refs_for_each_fullref_in(struct ref_store *refs, const char *prefix,
|
2021-09-24 18:48:48 +00:00
|
|
|
each_ref_fn fn, void *cb_data);
|
|
|
|
int for_each_fullref_in(const char *prefix, each_ref_fn fn, void *cb_data);
|
2019-11-17 21:04:46 +00:00
|
|
|
|
2021-01-20 16:04:21 +00:00
|
|
|
/**
|
|
|
|
* iterate all refs in "patterns" by partitioning patterns into disjoint sets
|
|
|
|
* and iterating the longest-common prefix of each set.
|
|
|
|
*
|
|
|
|
* callers should be prepared to ignore references that they did not ask for.
|
|
|
|
*/
|
2022-12-13 11:11:10 +00:00
|
|
|
int refs_for_each_fullref_in_prefixes(struct ref_store *refs,
|
|
|
|
const char *namespace, const char **patterns,
|
|
|
|
each_ref_fn fn, void *cb_data);
|
|
|
|
|
2019-11-17 21:04:46 +00:00
|
|
|
/**
|
|
|
|
* iterate refs from the respective area.
|
|
|
|
*/
|
2016-03-31 04:19:22 +00:00
|
|
|
int for_each_tag_ref(each_ref_fn fn, void *cb_data);
|
|
|
|
int for_each_branch_ref(each_ref_fn fn, void *cb_data);
|
|
|
|
int for_each_remote_ref(each_ref_fn fn, void *cb_data);
|
2018-08-20 18:24:19 +00:00
|
|
|
int for_each_replace_ref(struct repository *r, each_repo_ref_fn fn, void *cb_data);
|
2019-11-17 21:04:46 +00:00
|
|
|
|
|
|
|
/* iterates all refs that match the specified glob pattern. */
|
2016-03-31 04:19:22 +00:00
|
|
|
int for_each_glob_ref(each_ref_fn fn, const char *pattern, void *cb_data);
|
2019-11-17 21:04:46 +00:00
|
|
|
|
2016-03-31 04:19:22 +00:00
|
|
|
int for_each_glob_ref_in(each_ref_fn fn, const char *pattern,
|
|
|
|
const char *prefix, void *cb_data);
|
|
|
|
|
|
|
|
int head_ref_namespaced(each_ref_fn fn, void *cb_data);
|
|
|
|
int for_each_namespaced_ref(each_ref_fn fn, void *cb_data);
|
ref namespaces: infrastructure
Add support for dividing the refs of a single repository into multiple
namespaces, each of which can have its own branches, tags, and HEAD.
Git can expose each namespace as an independent repository to pull from
and push to, while sharing the object store, and exposing all the refs
to operations such as git-gc.
Storing multiple repositories as namespaces of a single repository
avoids storing duplicate copies of the same objects, such as when
storing multiple branches of the same source. The alternates mechanism
provides similar support for avoiding duplicates, but alternates do not
prevent duplication between new objects added to the repositories
without ongoing maintenance, while namespaces do.
To specify a namespace, set the GIT_NAMESPACE environment variable to
the namespace. For each ref namespace, git stores the corresponding
refs in a directory under refs/namespaces/. For example,
GIT_NAMESPACE=foo will store refs under refs/namespaces/foo/. You can
also specify namespaces via the --namespace option to git.
Note that namespaces which include a / will expand to a hierarchy of
namespaces; for example, GIT_NAMESPACE=foo/bar will store refs under
refs/namespaces/foo/refs/namespaces/bar/. This makes paths in
GIT_NAMESPACE behave hierarchically, so that cloning with
GIT_NAMESPACE=foo/bar produces the same result as cloning with
GIT_NAMESPACE=foo and cloning from that repo with GIT_NAMESPACE=bar. It
also avoids ambiguity with strange namespace paths such as
foo/refs/heads/, which could otherwise generate directory/file conflicts
within the refs directory.
Add the infrastructure for ref namespaces: handle the GIT_NAMESPACE
environment variable and --namespace option, and support iterating over
refs in a namespace.
Signed-off-by: Josh Triplett <josh@joshtriplett.org>
Signed-off-by: Jamey Sharp <jamey@minilop.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
2011-07-05 17:54:44 +00:00
|
|
|
|
2015-06-22 14:03:05 +00:00
|
|
|
/* can be used to learn about broken ref and symref */
|
2017-03-26 02:42:34 +00:00
|
|
|
int refs_for_each_rawref(struct ref_store *refs, each_ref_fn fn, void *cb_data);
|
2016-03-31 04:19:22 +00:00
|
|
|
int for_each_rawref(each_ref_fn fn, void *cb_data);
|
2015-06-22 14:03:05 +00:00
|
|
|
|
log: add option to choose which refs to decorate
When `log --decorate` is used, git will decorate commits with all
available refs. While in most cases this may give the desired effect,
under some conditions it can lead to excessively verbose output.
Introduce two command line options, `--decorate-refs=<pattern>` and
`--decorate-refs-exclude=<pattern>` to allow the user to select which
refs are used in decoration.
When "--decorate-refs=<pattern>" is given, only the refs that match the
pattern are used in decoration. The refs that match the pattern when
"--decorate-refs-exclude=<pattern>" is given, are never used in
decoration.
These options follow the same convention for mixing negative and
positive patterns across the system, assuming that the inclusive default
is to match all refs available.
(1) if there is no positive pattern given, pretend as if an
inclusive default positive pattern was given;
(2) for each candidate, reject it if it matches no positive
pattern, or if it matches any one of the negative patterns.
The rules for what is considered a match are slightly different from the
rules used elsewhere.
Commands like `log --glob` assume a trailing '/*' when glob chars are
not present in the pattern. This makes it difficult to specify a single
ref. On the other hand, commands like `describe --match --all` allow
specifying exact refs, but do not have the convenience of allowing
"shorthand refs" like 'refs/heads' or 'heads' to refer to
'refs/heads/*'.
The commands introduced in this patch consider a match if:
(a) the pattern contains globs chars,
and regular pattern matching returns a match.
(b) the pattern does not contain glob chars,
and ref '<pattern>' exists, or if ref exists under '<pattern>/'
This allows both behaviours (allowing single refs and shorthand refs)
yet remaining compatible with existent commands.
Helped-by: Kevin Daudt <me@ikke.info>
Helped-by: Junio C Hamano <gitster@pobox.com>
Signed-off-by: Rafael Ascensão <rafa.almas@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
2017-11-21 21:33:41 +00:00
|
|
|
/*
|
|
|
|
* Normalizes partial refs to their fully qualified form.
|
|
|
|
* Will prepend <prefix> to the <pattern> if it doesn't start with 'refs/'.
|
|
|
|
* <prefix> will default to 'refs/' if NULL.
|
|
|
|
*
|
|
|
|
* item.string will be set to the result.
|
|
|
|
* item.util will be set to NULL if <pattern> contains glob characters, or
|
|
|
|
* non-NULL if it doesn't.
|
|
|
|
*/
|
|
|
|
void normalize_glob_ref(struct string_list_item *item, const char *prefix,
|
|
|
|
const char *pattern);
|
|
|
|
|
2010-03-12 17:04:26 +00:00
|
|
|
static inline const char *has_glob_specials(const char *pattern)
|
|
|
|
{
|
|
|
|
return strpbrk(pattern, "?*[");
|
|
|
|
}
|
|
|
|
|
2016-03-31 04:19:22 +00:00
|
|
|
void warn_dangling_symref(FILE *fp, const char *msg_fmt, const char *refname);
|
|
|
|
void warn_dangling_symrefs(FILE *fp, const char *msg_fmt,
|
|
|
|
const struct string_list *refnames);
|
2009-02-09 07:27:10 +00:00
|
|
|
|
2013-04-22 19:52:32 +00:00
|
|
|
/*
|
|
|
|
* Flags for controlling behaviour of pack_refs()
|
|
|
|
* PACK_REFS_PRUNE: Prune loose refs after packing
|
|
|
|
* PACK_REFS_ALL: Pack _all_ refs, not just tags and already packed refs
|
|
|
|
*/
|
|
|
|
#define PACK_REFS_PRUNE 0x0001
|
|
|
|
#define PACK_REFS_ALL 0x0002
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Write a packed-refs file for the current repository.
|
|
|
|
* flags: Combination of the above PACK_REFS_* flags.
|
|
|
|
*/
|
2023-05-12 21:34:41 +00:00
|
|
|
int refs_pack_refs(struct ref_store *refs, struct pack_refs_opts *opts);
|
2013-04-22 19:52:32 +00:00
|
|
|
|
2014-06-20 14:42:50 +00:00
|
|
|
/*
|
2015-07-21 21:04:50 +00:00
|
|
|
* Setup reflog before using. Fill in err and return -1 on failure.
|
2014-06-20 14:42:50 +00:00
|
|
|
*/
|
2017-03-26 02:42:34 +00:00
|
|
|
int refs_create_reflog(struct ref_store *refs, const char *refname,
|
2021-11-22 14:19:08 +00:00
|
|
|
struct strbuf *err);
|
|
|
|
int safe_create_reflog(const char *refname, struct strbuf *err);
|
2010-05-22 00:28:36 +00:00
|
|
|
|
2006-05-17 09:56:09 +00:00
|
|
|
/** Reads log for the value of ref during at_time. **/
|
2019-04-06 11:34:30 +00:00
|
|
|
int read_ref_at(struct ref_store *refs,
|
|
|
|
const char *refname, unsigned int flags,
|
2017-04-26 19:29:31 +00:00
|
|
|
timestamp_t at_time, int cnt,
|
2017-10-15 22:07:03 +00:00
|
|
|
struct object_id *oid, char **msg,
|
2017-04-26 19:29:31 +00:00
|
|
|
timestamp_t *cutoff_time, int *cutoff_tz, int *cutoff_cnt);
|
2006-05-17 09:56:09 +00:00
|
|
|
|
2014-05-06 22:45:52 +00:00
|
|
|
/** Check if a particular reflog exists */
|
2017-03-26 02:42:34 +00:00
|
|
|
int refs_reflog_exists(struct ref_store *refs, const char *refname);
|
2016-03-31 04:19:22 +00:00
|
|
|
int reflog_exists(const char *refname);
|
2014-05-06 22:45:52 +00:00
|
|
|
|
2015-06-22 14:02:52 +00:00
|
|
|
/*
|
2017-10-15 22:06:50 +00:00
|
|
|
* Delete the specified reference. If old_oid is non-NULL, then
|
2017-11-05 08:42:09 +00:00
|
|
|
* verify that the current value of the reference is old_oid before
|
2017-10-15 22:06:50 +00:00
|
|
|
* deleting it. If old_oid is NULL, delete the reference if it
|
|
|
|
* exists, regardless of its old value. It is an error for old_oid to
|
|
|
|
* be null_oid. msg and flags are passed through to
|
2017-05-22 14:17:38 +00:00
|
|
|
* ref_transaction_delete().
|
2015-06-22 14:02:52 +00:00
|
|
|
*/
|
2017-03-26 02:42:35 +00:00
|
|
|
int refs_delete_ref(struct ref_store *refs, const char *msg,
|
|
|
|
const char *refname,
|
2017-10-15 22:06:50 +00:00
|
|
|
const struct object_id *old_oid,
|
2017-03-26 02:42:35 +00:00
|
|
|
unsigned int flags);
|
2017-02-21 01:10:32 +00:00
|
|
|
int delete_ref(const char *msg, const char *refname,
|
2017-10-15 22:06:50 +00:00
|
|
|
const struct object_id *old_oid, unsigned int flags);
|
2015-06-22 14:02:52 +00:00
|
|
|
|
2015-06-22 14:02:55 +00:00
|
|
|
/*
|
|
|
|
* Delete the specified references. If there are any problems, emit
|
|
|
|
* errors but attempt to keep going (i.e., the deletes are not done in
|
2017-05-22 14:17:38 +00:00
|
|
|
* an all-or-nothing transaction). msg and flags are passed through to
|
2016-06-18 04:15:10 +00:00
|
|
|
* ref_transaction_delete().
|
2015-06-22 14:02:55 +00:00
|
|
|
*/
|
2017-05-22 14:17:38 +00:00
|
|
|
int refs_delete_refs(struct ref_store *refs, const char *msg,
|
|
|
|
struct string_list *refnames, unsigned int flags);
|
|
|
|
int delete_refs(const char *msg, struct string_list *refnames,
|
|
|
|
unsigned int flags);
|
2015-06-22 14:02:55 +00:00
|
|
|
|
2014-05-06 22:45:52 +00:00
|
|
|
/** Delete a reflog */
|
2017-03-26 02:42:34 +00:00
|
|
|
int refs_delete_reflog(struct ref_store *refs, const char *refname);
|
2016-03-31 04:19:22 +00:00
|
|
|
int delete_reflog(const char *refname);
|
2014-05-06 22:45:52 +00:00
|
|
|
|
2020-05-20 17:36:07 +00:00
|
|
|
/*
|
|
|
|
* Callback to process a reflog entry found by the iteration functions (see
|
2021-11-28 19:25:35 +00:00
|
|
|
* below).
|
|
|
|
*
|
|
|
|
* The committer parameter is a single string, in the form
|
|
|
|
* "$GIT_COMMITTER_NAME <$GIT_COMMITTER_EMAIL>" (without double quotes).
|
|
|
|
*
|
|
|
|
* The timestamp parameter gives the time when entry was created as the number
|
|
|
|
* of seconds since the UNIX epoch.
|
|
|
|
*
|
|
|
|
* The tz parameter gives the timezone offset for the user who created
|
|
|
|
* the reflog entry, and its value gives a positive or negative offset
|
|
|
|
* from UTC. Its absolute value is formed by multiplying the hour
|
|
|
|
* part by 100 and adding the minute part. For example, 1 hour ahead
|
|
|
|
* of UTC, CET == "+0100", is represented as positive one hundred (not
|
|
|
|
* postiive sixty).
|
|
|
|
*
|
|
|
|
* The msg parameter is a single complete line; a reflog message given
|
|
|
|
* to refs_delete_ref, refs_update_ref, etc. is returned to the
|
|
|
|
* callback normalized---each run of whitespaces are squashed into a
|
|
|
|
* single whitespace, trailing whitespace, if exists, is trimmed, and
|
|
|
|
* then a single LF is added at the end.
|
|
|
|
*
|
|
|
|
* The cb_data is a caller-supplied pointer given to the iterator
|
|
|
|
* functions.
|
2020-05-20 17:36:07 +00:00
|
|
|
*/
|
2016-03-31 04:19:22 +00:00
|
|
|
typedef int each_reflog_ent_fn(
|
2017-02-21 23:47:32 +00:00
|
|
|
struct object_id *old_oid, struct object_id *new_oid,
|
2017-04-26 19:29:31 +00:00
|
|
|
const char *committer, timestamp_t timestamp,
|
2016-03-31 04:19:22 +00:00
|
|
|
int tz, const char *msg, void *cb_data);
|
|
|
|
|
2020-05-20 17:36:07 +00:00
|
|
|
/* Iterate over reflog entries in the log for `refname`. */
|
|
|
|
|
|
|
|
/* oldest entry first */
|
2017-03-26 02:42:34 +00:00
|
|
|
int refs_for_each_reflog_ent(struct ref_store *refs, const char *refname,
|
|
|
|
each_reflog_ent_fn fn, void *cb_data);
|
2020-05-20 17:36:07 +00:00
|
|
|
|
|
|
|
/* youngest entry first */
|
2017-03-26 02:42:34 +00:00
|
|
|
int refs_for_each_reflog_ent_reverse(struct ref_store *refs,
|
|
|
|
const char *refname,
|
|
|
|
each_reflog_ent_fn fn,
|
|
|
|
void *cb_data);
|
2020-05-20 17:36:07 +00:00
|
|
|
|
|
|
|
/*
|
|
|
|
* Iterate over reflog entries in the log for `refname` in the main ref store.
|
|
|
|
*/
|
|
|
|
|
|
|
|
/* oldest entry first */
|
2011-12-12 05:38:09 +00:00
|
|
|
int for_each_reflog_ent(const char *refname, each_reflog_ent_fn fn, void *cb_data);
|
2020-05-20 17:36:07 +00:00
|
|
|
|
|
|
|
/* youngest entry first */
|
2013-03-08 21:27:37 +00:00
|
|
|
int for_each_reflog_ent_reverse(const char *refname, each_reflog_ent_fn fn, void *cb_data);
|
2006-12-18 09:18:16 +00:00
|
|
|
|
2007-02-03 18:25:43 +00:00
|
|
|
/*
|
|
|
|
* Calls the specified function for each reflog file until it returns nonzero,
|
2017-03-26 02:42:41 +00:00
|
|
|
* and returns the value. Reflog file order is unspecified.
|
2007-02-03 18:25:43 +00:00
|
|
|
*/
|
2017-03-26 02:42:34 +00:00
|
|
|
int refs_for_each_reflog(struct ref_store *refs, each_ref_fn fn, void *cb_data);
|
2016-03-31 04:19:22 +00:00
|
|
|
int for_each_reflog(each_ref_fn fn, void *cb_data);
|
2007-02-03 18:25:43 +00:00
|
|
|
|
2011-09-15 21:10:25 +00:00
|
|
|
#define REFNAME_ALLOW_ONELEVEL 1
|
|
|
|
#define REFNAME_REFSPEC_PATTERN 2
|
|
|
|
|
|
|
|
/*
|
2011-12-12 05:38:09 +00:00
|
|
|
* Return 0 iff refname has the correct format for a refname according
|
|
|
|
* to the rules described in Documentation/git-check-ref-format.txt.
|
|
|
|
* If REFNAME_ALLOW_ONELEVEL is set in flags, then accept one-level
|
2011-09-15 21:10:25 +00:00
|
|
|
* reference names. If REFNAME_REFSPEC_PATTERN is set in flags, then
|
2015-07-22 21:05:33 +00:00
|
|
|
* allow a single "*" wildcard character in the refspec. No leading or
|
|
|
|
* repeated slashes are accepted.
|
2011-09-15 21:10:25 +00:00
|
|
|
*/
|
2016-03-31 04:19:22 +00:00
|
|
|
int check_refname_format(const char *refname, int flags);
|
2005-06-06 20:31:29 +00:00
|
|
|
|
2019-03-08 09:28:34 +00:00
|
|
|
/*
|
|
|
|
* Apply the rules from check_refname_format, but mutate the result until it
|
|
|
|
* is acceptable, and place the result in "out".
|
|
|
|
*/
|
|
|
|
void sanitize_refname_component(const char *refname, struct strbuf *out);
|
|
|
|
|
2016-03-31 04:19:22 +00:00
|
|
|
const char *prettify_refname(const char *refname);
|
2015-06-22 14:03:05 +00:00
|
|
|
|
2019-04-06 11:34:25 +00:00
|
|
|
char *refs_shorten_unambiguous_ref(struct ref_store *refs,
|
|
|
|
const char *refname, int strict);
|
2016-03-31 04:19:22 +00:00
|
|
|
char *shorten_unambiguous_ref(const char *refname, int strict);
|
2009-03-09 01:06:05 +00:00
|
|
|
|
2006-11-28 14:47:40 +00:00
|
|
|
/** rename ref, return 0 on success **/
|
2017-03-26 02:42:34 +00:00
|
|
|
int refs_rename_ref(struct ref_store *refs, const char *oldref,
|
|
|
|
const char *newref, const char *logmsg);
|
branch: add a --copy (-c) option to go with --move (-m)
Add the ability to --copy a branch and its reflog and configuration,
this uses the same underlying machinery as the --move (-m) option
except the reflog and configuration is copied instead of being moved.
This is useful for e.g. copying a topic branch to a new version,
e.g. work to work-2 after submitting the work topic to the list, while
preserving all the tracking info and other configuration that goes
with the branch, and unlike --move keeping the other already-submitted
branch around for reference.
Like --move, when the source branch is the currently checked out
branch the HEAD is moved to the destination branch. In the case of
--move we don't really have a choice (other than remaining on a
detached HEAD) and in order to keep the functionality consistent, we
are doing it in similar way for --copy too.
The most common usage of this feature is expected to be moving to a
new topic branch which is a copy of the current one, in that case
moving to the target branch is what the user wants, and doesn't
unexpectedly behave differently than --move would.
One outstanding caveat of this implementation is that:
git checkout maint &&
git checkout master &&
git branch -c topic &&
git checkout -
Will check out 'maint' instead of 'master'. This is because the @{-N}
feature (or its -1 shorthand "-") relies on HEAD reflogs created by
the checkout command, so in this case we'll checkout maint instead of
master, as the user might expect. What to do about that is left to a
future change.
Helped-by: Ævar Arnfjörð Bjarmason <avarab@gmail.com>
Signed-off-by: Ævar Arnfjörð Bjarmason <avarab@gmail.com>
Signed-off-by: Sahil Dua <sahildua2305@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
2017-06-18 21:19:16 +00:00
|
|
|
int rename_ref(const char *oldref, const char *newref,
|
|
|
|
const char *logmsg);
|
|
|
|
|
|
|
|
/** copy ref, return 0 on success **/
|
|
|
|
int refs_copy_existing_ref(struct ref_store *refs, const char *oldref,
|
|
|
|
const char *newref, const char *logmsg);
|
|
|
|
int copy_existing_ref(const char *oldref, const char *newref,
|
|
|
|
const char *logmsg);
|
2006-11-28 14:47:40 +00:00
|
|
|
|
2017-03-26 02:42:34 +00:00
|
|
|
int refs_create_symref(struct ref_store *refs, const char *refname,
|
|
|
|
const char *target, const char *logmsg);
|
2016-03-31 04:19:22 +00:00
|
|
|
int create_symref(const char *refname, const char *target, const char *logmsg);
|
2007-04-10 04:14:26 +00:00
|
|
|
|
2014-04-07 13:47:56 +00:00
|
|
|
enum action_on_err {
|
|
|
|
UPDATE_REFS_MSG_ON_ERR,
|
|
|
|
UPDATE_REFS_DIE_ON_ERR,
|
|
|
|
UPDATE_REFS_QUIET_ON_ERR
|
|
|
|
};
|
|
|
|
|
2014-04-07 13:48:10 +00:00
|
|
|
/*
|
|
|
|
* Begin a reference transaction. The reference transaction must
|
2014-06-20 14:42:43 +00:00
|
|
|
* be freed by calling ref_transaction_free().
|
2014-04-07 13:48:10 +00:00
|
|
|
*/
|
2017-03-26 02:42:35 +00:00
|
|
|
struct ref_transaction *ref_store_transaction_begin(struct ref_store *refs,
|
|
|
|
struct strbuf *err);
|
2014-05-19 17:42:34 +00:00
|
|
|
struct ref_transaction *ref_transaction_begin(struct strbuf *err);
|
2014-04-07 13:48:10 +00:00
|
|
|
|
|
|
|
/*
|
2015-02-17 17:00:23 +00:00
|
|
|
* Reference transaction updates
|
|
|
|
*
|
|
|
|
* The following four functions add a reference check or update to a
|
|
|
|
* ref_transaction. They have some common similar parameters:
|
|
|
|
*
|
|
|
|
* transaction -- a pointer to an open ref_transaction, obtained
|
|
|
|
* from ref_transaction_begin().
|
|
|
|
*
|
|
|
|
* refname -- the name of the reference to be affected.
|
|
|
|
*
|
2017-11-05 08:42:05 +00:00
|
|
|
* new_oid -- the object ID that should be set to be the new value
|
|
|
|
* of the reference. Some functions allow this parameter to be
|
2017-05-22 14:17:32 +00:00
|
|
|
* NULL, meaning that the reference is not changed, or
|
2017-11-05 08:42:05 +00:00
|
|
|
* null_oid, meaning that the reference should be deleted. A
|
2017-05-22 14:17:32 +00:00
|
|
|
* copy of this value is made in the transaction.
|
|
|
|
*
|
2017-11-05 08:42:05 +00:00
|
|
|
* old_oid -- the object ID that the reference must have before
|
2017-05-22 14:17:32 +00:00
|
|
|
* the update. Some functions allow this parameter to be NULL,
|
|
|
|
* meaning that the old value of the reference is not checked,
|
2017-11-05 08:42:05 +00:00
|
|
|
* or null_oid, meaning that the reference must not exist
|
2017-05-22 14:17:32 +00:00
|
|
|
* before the update. A copy of this value is made in the
|
|
|
|
* transaction.
|
|
|
|
*
|
2015-02-17 17:00:23 +00:00
|
|
|
* flags -- flags affecting the update, passed to
|
2017-11-05 08:42:06 +00:00
|
|
|
* update_ref_lock(). Possible flags: REF_NO_DEREF,
|
2017-11-05 08:42:05 +00:00
|
|
|
* REF_FORCE_CREATE_REFLOG. See those constants for more
|
|
|
|
* information.
|
2015-02-17 17:00:23 +00:00
|
|
|
*
|
|
|
|
* msg -- a message describing the change (for the reflog).
|
|
|
|
*
|
|
|
|
* err -- a strbuf for receiving a description of any error that
|
2016-06-10 19:05:26 +00:00
|
|
|
* might have occurred.
|
2015-02-17 17:00:23 +00:00
|
|
|
*
|
|
|
|
* The functions make internal copies of refname and msg, so the
|
|
|
|
* caller retains ownership of these parameters.
|
|
|
|
*
|
|
|
|
* The functions return 0 on success and non-zero on failure. A
|
|
|
|
* failure means that the transaction as a whole has failed and needs
|
|
|
|
* to be rolled back.
|
2014-04-07 13:48:10 +00:00
|
|
|
*/
|
|
|
|
|
|
|
|
/*
|
2017-11-05 08:42:05 +00:00
|
|
|
* The following flags can be passed to ref_transaction_update() etc.
|
|
|
|
* Internally, they are stored in `ref_update::flags`, along with some
|
|
|
|
* internal flags.
|
|
|
|
*/
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Act on the ref directly; i.e., without dereferencing symbolic refs.
|
|
|
|
* If this flag is not specified, then symbolic references are
|
|
|
|
* dereferenced and the update is applied to the referent.
|
|
|
|
*/
|
2017-11-05 08:42:06 +00:00
|
|
|
#define REF_NO_DEREF (1 << 0)
|
2017-11-05 08:42:05 +00:00
|
|
|
|
|
|
|
/*
|
|
|
|
* Force the creation of a reflog for this reference, even if it
|
|
|
|
* didn't previously have a reflog.
|
|
|
|
*/
|
|
|
|
#define REF_FORCE_CREATE_REFLOG (1 << 1)
|
|
|
|
|
2021-12-07 13:38:17 +00:00
|
|
|
/*
|
|
|
|
* Blindly write an object_id. This is useful for testing data corruption
|
|
|
|
* scenarios.
|
|
|
|
*/
|
|
|
|
#define REF_SKIP_OID_VERIFICATION (1 << 10)
|
|
|
|
|
2021-12-07 13:38:18 +00:00
|
|
|
/*
|
|
|
|
* Skip verifying refname. This is useful for testing data corruption scenarios.
|
|
|
|
*/
|
|
|
|
#define REF_SKIP_REFNAME_VERIFICATION (1 << 11)
|
|
|
|
|
2017-11-05 08:42:05 +00:00
|
|
|
/*
|
|
|
|
* Bitmask of all of the flags that are allowed to be passed in to
|
|
|
|
* ref_transaction_update() and friends:
|
|
|
|
*/
|
2021-12-07 13:38:18 +00:00
|
|
|
#define REF_TRANSACTION_UPDATE_ALLOWED_FLAGS \
|
|
|
|
(REF_NO_DEREF | REF_FORCE_CREATE_REFLOG | REF_SKIP_OID_VERIFICATION | \
|
|
|
|
REF_SKIP_REFNAME_VERIFICATION)
|
2017-11-05 08:42:05 +00:00
|
|
|
|
|
|
|
/*
|
|
|
|
* Add a reference update to transaction. `new_oid` is the value that
|
|
|
|
* the reference should have after the update, or `null_oid` if it
|
|
|
|
* should be deleted. If `new_oid` is NULL, then the reference is not
|
|
|
|
* changed at all. `old_oid` is the value that the reference must have
|
|
|
|
* before the update, or `null_oid` if it must not have existed
|
2015-02-17 17:00:21 +00:00
|
|
|
* beforehand. The old value is checked after the lock is taken to
|
2017-10-15 22:06:53 +00:00
|
|
|
* prevent races. If the old value doesn't agree with old_oid, the
|
|
|
|
* whole transaction fails. If old_oid is NULL, then the previous
|
2015-02-17 17:00:21 +00:00
|
|
|
* value is not checked.
|
|
|
|
*
|
2015-02-17 17:00:23 +00:00
|
|
|
* See the above comment "Reference transaction updates" for more
|
|
|
|
* information.
|
2014-04-07 13:48:10 +00:00
|
|
|
*/
|
2014-06-20 14:43:00 +00:00
|
|
|
int ref_transaction_update(struct ref_transaction *transaction,
|
|
|
|
const char *refname,
|
2017-10-15 22:06:53 +00:00
|
|
|
const struct object_id *new_oid,
|
|
|
|
const struct object_id *old_oid,
|
2015-02-17 17:00:15 +00:00
|
|
|
unsigned int flags, const char *msg,
|
2014-06-20 14:43:00 +00:00
|
|
|
struct strbuf *err);
|
2014-04-07 13:48:10 +00:00
|
|
|
|
|
|
|
/*
|
2017-10-15 22:06:53 +00:00
|
|
|
* Add a reference creation to transaction. new_oid is the value that
|
2015-02-17 17:00:23 +00:00
|
|
|
* the reference should have after the update; it must not be
|
2017-10-15 22:06:53 +00:00
|
|
|
* null_oid. It is verified that the reference does not exist
|
2014-04-07 13:48:10 +00:00
|
|
|
* already.
|
2015-02-17 17:00:23 +00:00
|
|
|
*
|
|
|
|
* See the above comment "Reference transaction updates" for more
|
|
|
|
* information.
|
2014-04-07 13:48:10 +00:00
|
|
|
*/
|
2014-04-16 22:26:44 +00:00
|
|
|
int ref_transaction_create(struct ref_transaction *transaction,
|
|
|
|
const char *refname,
|
2017-10-15 22:06:53 +00:00
|
|
|
const struct object_id *new_oid,
|
2015-02-17 17:00:13 +00:00
|
|
|
unsigned int flags, const char *msg,
|
2014-04-16 22:26:44 +00:00
|
|
|
struct strbuf *err);
|
2014-04-07 13:48:10 +00:00
|
|
|
|
|
|
|
/*
|
2017-10-15 22:06:53 +00:00
|
|
|
* Add a reference deletion to transaction. If old_oid is non-NULL,
|
2015-02-17 17:00:23 +00:00
|
|
|
* then it holds the value that the reference should have had before
|
2017-10-15 22:06:53 +00:00
|
|
|
* the update (which must not be null_oid).
|
2015-02-17 17:00:23 +00:00
|
|
|
*
|
|
|
|
* See the above comment "Reference transaction updates" for more
|
|
|
|
* information.
|
2014-04-07 13:48:10 +00:00
|
|
|
*/
|
2014-04-16 22:27:45 +00:00
|
|
|
int ref_transaction_delete(struct ref_transaction *transaction,
|
|
|
|
const char *refname,
|
2017-10-15 22:06:53 +00:00
|
|
|
const struct object_id *old_oid,
|
2015-02-17 17:00:16 +00:00
|
|
|
unsigned int flags, const char *msg,
|
2014-04-16 22:27:45 +00:00
|
|
|
struct strbuf *err);
|
2014-04-07 13:48:10 +00:00
|
|
|
|
2015-02-17 17:00:21 +00:00
|
|
|
/*
|
2017-10-15 22:06:53 +00:00
|
|
|
* Verify, within a transaction, that refname has the value old_oid,
|
|
|
|
* or, if old_oid is null_oid, then verify that the reference
|
|
|
|
* doesn't exist. old_oid must be non-NULL.
|
2015-02-17 17:00:23 +00:00
|
|
|
*
|
|
|
|
* See the above comment "Reference transaction updates" for more
|
|
|
|
* information.
|
2015-02-17 17:00:21 +00:00
|
|
|
*/
|
|
|
|
int ref_transaction_verify(struct ref_transaction *transaction,
|
|
|
|
const char *refname,
|
2017-10-15 22:06:53 +00:00
|
|
|
const struct object_id *old_oid,
|
2015-02-17 17:00:21 +00:00
|
|
|
unsigned int flags,
|
|
|
|
struct strbuf *err);
|
|
|
|
|
2014-05-16 21:14:38 +00:00
|
|
|
/* Naming conflict (for example, the ref names A and A/B conflict). */
|
|
|
|
#define TRANSACTION_NAME_CONFLICT -1
|
|
|
|
/* All other errors. */
|
|
|
|
#define TRANSACTION_GENERIC_ERROR -2
|
ref_transaction_prepare(): new optional step for reference updates
In the future, compound reference stores will sometimes need to modify
references in two different reference stores at the same time, meaning
that a single logical reference transaction might have to be
implemented as two internal sub-transactions. They won't want to call
`ref_transaction_commit()` for the two sub-transactions one after the
other, because that wouldn't be atomic (the first commit could succeed
and the second one fail). Instead, they will want to prepare both
sub-transactions (i.e., obtain any necessary locks and do any
pre-checks), and only if both prepare steps succeed, then commit both
sub-transactions.
Start preparing for that day by adding a new, optional
`ref_transaction_prepare()` step to the reference transaction
sequence, which obtains the locks and does any prechecks, reporting
any errors that occur. Also add a `ref_transaction_abort()` function
that can be used to abort a sub-transaction even if it has already
been prepared.
That is on the side of the public-facing API. On the side of the
`ref_store` VTABLE, get rid of `transaction_commit` and instead add
methods `transaction_prepare`, `transaction_finish`, and
`transaction_abort`. A `ref_transaction_commit()` now basically calls
methods `transaction_prepare` then `transaction_finish`.
Signed-off-by: Michael Haggerty <mhagger@alum.mit.edu>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
2017-05-22 14:17:44 +00:00
|
|
|
|
|
|
|
/*
|
2017-06-25 10:20:41 +00:00
|
|
|
* Perform the preparatory stages of committing `transaction`. Acquire
|
ref_transaction_prepare(): new optional step for reference updates
In the future, compound reference stores will sometimes need to modify
references in two different reference stores at the same time, meaning
that a single logical reference transaction might have to be
implemented as two internal sub-transactions. They won't want to call
`ref_transaction_commit()` for the two sub-transactions one after the
other, because that wouldn't be atomic (the first commit could succeed
and the second one fail). Instead, they will want to prepare both
sub-transactions (i.e., obtain any necessary locks and do any
pre-checks), and only if both prepare steps succeed, then commit both
sub-transactions.
Start preparing for that day by adding a new, optional
`ref_transaction_prepare()` step to the reference transaction
sequence, which obtains the locks and does any prechecks, reporting
any errors that occur. Also add a `ref_transaction_abort()` function
that can be used to abort a sub-transaction even if it has already
been prepared.
That is on the side of the public-facing API. On the side of the
`ref_store` VTABLE, get rid of `transaction_commit` and instead add
methods `transaction_prepare`, `transaction_finish`, and
`transaction_abort`. A `ref_transaction_commit()` now basically calls
methods `transaction_prepare` then `transaction_finish`.
Signed-off-by: Michael Haggerty <mhagger@alum.mit.edu>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
2017-05-22 14:17:44 +00:00
|
|
|
* any needed locks, check preconditions, etc.; basically, do as much
|
|
|
|
* as possible to ensure that the transaction will be able to go
|
|
|
|
* through, stopping just short of making any irrevocable or
|
|
|
|
* user-visible changes. The updates that this function prepares can
|
|
|
|
* be finished up by calling `ref_transaction_commit()` or rolled back
|
|
|
|
* by calling `ref_transaction_abort()`.
|
|
|
|
*
|
|
|
|
* On success, return 0 and leave the transaction in "prepared" state.
|
|
|
|
* On failure, abort the transaction, write an error message to `err`,
|
|
|
|
* and return one of the `TRANSACTION_*` constants.
|
|
|
|
*
|
2017-06-25 10:20:41 +00:00
|
|
|
* Callers who don't need such fine-grained control over committing
|
ref_transaction_prepare(): new optional step for reference updates
In the future, compound reference stores will sometimes need to modify
references in two different reference stores at the same time, meaning
that a single logical reference transaction might have to be
implemented as two internal sub-transactions. They won't want to call
`ref_transaction_commit()` for the two sub-transactions one after the
other, because that wouldn't be atomic (the first commit could succeed
and the second one fail). Instead, they will want to prepare both
sub-transactions (i.e., obtain any necessary locks and do any
pre-checks), and only if both prepare steps succeed, then commit both
sub-transactions.
Start preparing for that day by adding a new, optional
`ref_transaction_prepare()` step to the reference transaction
sequence, which obtains the locks and does any prechecks, reporting
any errors that occur. Also add a `ref_transaction_abort()` function
that can be used to abort a sub-transaction even if it has already
been prepared.
That is on the side of the public-facing API. On the side of the
`ref_store` VTABLE, get rid of `transaction_commit` and instead add
methods `transaction_prepare`, `transaction_finish`, and
`transaction_abort`. A `ref_transaction_commit()` now basically calls
methods `transaction_prepare` then `transaction_finish`.
Signed-off-by: Michael Haggerty <mhagger@alum.mit.edu>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
2017-05-22 14:17:44 +00:00
|
|
|
* reference transactions should just call `ref_transaction_commit()`.
|
|
|
|
*/
|
|
|
|
int ref_transaction_prepare(struct ref_transaction *transaction,
|
|
|
|
struct strbuf *err);
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Commit all of the changes that have been queued in transaction, as
|
|
|
|
* atomically as possible. On success, return 0 and leave the
|
|
|
|
* transaction in "closed" state. On failure, roll back the
|
|
|
|
* transaction, write an error message to `err`, and return one of the
|
|
|
|
* `TRANSACTION_*` constants
|
|
|
|
*/
|
2014-04-07 13:48:10 +00:00
|
|
|
int ref_transaction_commit(struct ref_transaction *transaction,
|
2014-04-30 19:22:42 +00:00
|
|
|
struct strbuf *err);
|
2014-04-07 13:48:10 +00:00
|
|
|
|
ref_transaction_prepare(): new optional step for reference updates
In the future, compound reference stores will sometimes need to modify
references in two different reference stores at the same time, meaning
that a single logical reference transaction might have to be
implemented as two internal sub-transactions. They won't want to call
`ref_transaction_commit()` for the two sub-transactions one after the
other, because that wouldn't be atomic (the first commit could succeed
and the second one fail). Instead, they will want to prepare both
sub-transactions (i.e., obtain any necessary locks and do any
pre-checks), and only if both prepare steps succeed, then commit both
sub-transactions.
Start preparing for that day by adding a new, optional
`ref_transaction_prepare()` step to the reference transaction
sequence, which obtains the locks and does any prechecks, reporting
any errors that occur. Also add a `ref_transaction_abort()` function
that can be used to abort a sub-transaction even if it has already
been prepared.
That is on the side of the public-facing API. On the side of the
`ref_store` VTABLE, get rid of `transaction_commit` and instead add
methods `transaction_prepare`, `transaction_finish`, and
`transaction_abort`. A `ref_transaction_commit()` now basically calls
methods `transaction_prepare` then `transaction_finish`.
Signed-off-by: Michael Haggerty <mhagger@alum.mit.edu>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
2017-05-22 14:17:44 +00:00
|
|
|
/*
|
|
|
|
* Abort `transaction`, which has been begun and possibly prepared,
|
|
|
|
* but not yet committed.
|
|
|
|
*/
|
|
|
|
int ref_transaction_abort(struct ref_transaction *transaction,
|
|
|
|
struct strbuf *err);
|
|
|
|
|
2015-06-22 14:03:01 +00:00
|
|
|
/*
|
|
|
|
* Like ref_transaction_commit(), but optimized for creating
|
|
|
|
* references when originally initializing a repository (e.g., by "git
|
|
|
|
* clone"). It writes the new references directly to packed-refs
|
|
|
|
* without locking the individual references.
|
|
|
|
*
|
|
|
|
* It is a bug to call this function when there might be other
|
|
|
|
* processes accessing the repository or if there are existing
|
|
|
|
* references that might conflict with the ones being created. All
|
2017-11-05 08:42:09 +00:00
|
|
|
* old_oid values must either be absent or null_oid.
|
2015-06-22 14:03:01 +00:00
|
|
|
*/
|
|
|
|
int initial_ref_transaction_commit(struct ref_transaction *transaction,
|
|
|
|
struct strbuf *err);
|
|
|
|
|
2022-02-17 13:04:32 +00:00
|
|
|
/*
|
|
|
|
* Execute the given callback function for each of the reference updates which
|
|
|
|
* have been queued in the given transaction. `old_oid` and `new_oid` may be
|
|
|
|
* `NULL` pointers depending on whether the update has these object IDs set or
|
|
|
|
* not.
|
|
|
|
*/
|
|
|
|
typedef void ref_transaction_for_each_queued_update_fn(const char *refname,
|
|
|
|
const struct object_id *old_oid,
|
|
|
|
const struct object_id *new_oid,
|
|
|
|
void *cb_data);
|
|
|
|
void ref_transaction_for_each_queued_update(struct ref_transaction *transaction,
|
|
|
|
ref_transaction_for_each_queued_update_fn cb,
|
|
|
|
void *cb_data);
|
|
|
|
|
2014-06-20 14:42:42 +00:00
|
|
|
/*
|
ref_transaction_prepare(): new optional step for reference updates
In the future, compound reference stores will sometimes need to modify
references in two different reference stores at the same time, meaning
that a single logical reference transaction might have to be
implemented as two internal sub-transactions. They won't want to call
`ref_transaction_commit()` for the two sub-transactions one after the
other, because that wouldn't be atomic (the first commit could succeed
and the second one fail). Instead, they will want to prepare both
sub-transactions (i.e., obtain any necessary locks and do any
pre-checks), and only if both prepare steps succeed, then commit both
sub-transactions.
Start preparing for that day by adding a new, optional
`ref_transaction_prepare()` step to the reference transaction
sequence, which obtains the locks and does any prechecks, reporting
any errors that occur. Also add a `ref_transaction_abort()` function
that can be used to abort a sub-transaction even if it has already
been prepared.
That is on the side of the public-facing API. On the side of the
`ref_store` VTABLE, get rid of `transaction_commit` and instead add
methods `transaction_prepare`, `transaction_finish`, and
`transaction_abort`. A `ref_transaction_commit()` now basically calls
methods `transaction_prepare` then `transaction_finish`.
Signed-off-by: Michael Haggerty <mhagger@alum.mit.edu>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
2017-05-22 14:17:44 +00:00
|
|
|
* Free `*transaction` and all associated data.
|
2014-06-20 14:42:42 +00:00
|
|
|
*/
|
|
|
|
void ref_transaction_free(struct ref_transaction *transaction);
|
|
|
|
|
2015-02-17 17:00:22 +00:00
|
|
|
/**
|
|
|
|
* Lock, update, and unlock a single reference. This function
|
|
|
|
* basically does a transaction containing a single call to
|
|
|
|
* ref_transaction_update(). The parameters to this function have the
|
|
|
|
* same meaning as the corresponding parameters to
|
|
|
|
* ref_transaction_update(). Handle errors as requested by the `onerr`
|
|
|
|
* argument.
|
|
|
|
*/
|
2017-03-26 02:42:35 +00:00
|
|
|
int refs_update_ref(struct ref_store *refs, const char *msg, const char *refname,
|
2017-10-15 22:06:51 +00:00
|
|
|
const struct object_id *new_oid, const struct object_id *old_oid,
|
2017-03-26 02:42:35 +00:00
|
|
|
unsigned int flags, enum action_on_err onerr);
|
2015-02-17 17:00:22 +00:00
|
|
|
int update_ref(const char *msg, const char *refname,
|
2016-09-05 20:08:08 +00:00
|
|
|
const struct object_id *new_oid, const struct object_id *old_oid,
|
|
|
|
unsigned int flags, enum action_on_err onerr);
|
2007-09-05 01:38:24 +00:00
|
|
|
|
2022-11-17 05:46:43 +00:00
|
|
|
int parse_hide_refs_config(const char *var, const char *value, const char *,
|
|
|
|
struct string_list *);
|
2015-06-22 14:03:05 +00:00
|
|
|
|
2015-11-03 07:58:16 +00:00
|
|
|
/*
|
|
|
|
* Check whether a ref is hidden. If no namespace is set, both the first and
|
|
|
|
* the second parameter point to the full ref name. If a namespace is set and
|
|
|
|
* the ref is inside that namespace, the first parameter is a pointer to the
|
|
|
|
* name of the ref with the namespace prefix removed. If a namespace is set and
|
|
|
|
* the ref is outside that namespace, the first parameter is NULL. The second
|
|
|
|
* parameter always points to the full ref name.
|
|
|
|
*/
|
2022-11-17 05:46:43 +00:00
|
|
|
int ref_is_hidden(const char *, const char *, const struct string_list *);
|
upload/receive-pack: allow hiding ref hierarchies
A repository may have refs that are only used for its internal
bookkeeping purposes that should not be exposed to the others that
come over the network.
Teach upload-pack to omit some refs from its initial advertisement
by paying attention to the uploadpack.hiderefs multi-valued
configuration variable. Do the same to receive-pack via the
receive.hiderefs variable. As a convenient short-hand, allow using
transfer.hiderefs to set the value to both of these variables.
Any ref that is under the hierarchies listed on the value of these
variable is excluded from responses to requests made by "ls-remote",
"fetch", etc. (for upload-pack) and "push" (for receive-pack).
Because these hidden refs do not count as OUR_REF, an attempt to
fetch objects at the tip of them will be rejected, and because these
refs do not get advertised, "git push :" will not see local branches
that have the same name as them as "matching" ones to be sent.
An attempt to update/delete these hidden refs with an explicit
refspec, e.g. "git push origin :refs/hidden/22", is rejected. This
is not a new restriction. To the pusher, it would appear that there
is no such ref, so its push request will conclude with "Now that I
sent you all the data, it is time for you to update the refs. I saw
that the ref did not exist when I started pushing, and I want the
result to point at this commit". The receiving end will apply the
compare-and-swap rule to this request and rejects the push with
"Well, your update request conflicts with somebody else; I see there
is such a ref.", which is the right thing to do. Otherwise a push to
a hidden ref will always be "the last one wins", which is not a good
default.
Signed-off-by: Junio C Hamano <gitster@pobox.com>
2013-01-19 00:08:30 +00:00
|
|
|
|
2022-09-19 16:34:50 +00:00
|
|
|
/* Is this a per-worktree ref living in the refs/ namespace? */
|
|
|
|
int is_per_worktree_ref(const char *refname);
|
|
|
|
|
|
|
|
/* Describes how a refname relates to worktrees */
|
|
|
|
enum ref_worktree_type {
|
|
|
|
REF_WORKTREE_CURRENT, /* implicitly per worktree, eg. HEAD or
|
|
|
|
refs/bisect/SOMETHING */
|
|
|
|
REF_WORKTREE_MAIN, /* explicitly in main worktree, eg.
|
|
|
|
main-worktree/HEAD */
|
|
|
|
REF_WORKTREE_OTHER, /* explicitly in named worktree, eg.
|
|
|
|
worktrees/bla/HEAD */
|
|
|
|
REF_WORKTREE_SHARED, /* the default, eg. refs/heads/main */
|
2015-07-31 06:06:18 +00:00
|
|
|
};
|
|
|
|
|
2022-09-19 16:34:50 +00:00
|
|
|
/*
|
|
|
|
* Parse a `maybe_worktree_ref` as a ref that possibly refers to a worktree ref
|
|
|
|
* (ie. either REFNAME, main-worktree/REFNAME or worktree/WORKTREE/REFNAME). It
|
|
|
|
* returns what kind of ref was found, and in case of REF_WORKTREE_OTHER, the
|
|
|
|
* worktree name is returned in `worktree_name` (pointing into
|
|
|
|
* `maybe_worktree_ref`) and `worktree_name_length`. The bare refname (the
|
|
|
|
* refname stripped of prefixes) is returned in `bare_refname`. The
|
|
|
|
* `worktree_name`, `worktree_name_length` and `bare_refname` arguments may be
|
|
|
|
* NULL.
|
|
|
|
*/
|
|
|
|
enum ref_worktree_type parse_worktree_ref(const char *maybe_worktree_ref,
|
|
|
|
const char **worktree_name,
|
|
|
|
int *worktree_name_length,
|
|
|
|
const char **bare_refname);
|
2015-07-31 06:06:18 +00:00
|
|
|
|
2014-12-12 08:56:59 +00:00
|
|
|
enum expire_reflog_flags {
|
|
|
|
EXPIRE_REFLOGS_DRY_RUN = 1 << 0,
|
|
|
|
EXPIRE_REFLOGS_UPDATE_REF = 1 << 1,
|
2021-12-22 04:06:48 +00:00
|
|
|
EXPIRE_REFLOGS_REWRITE = 1 << 2,
|
2014-12-12 08:56:59 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
/*
|
|
|
|
* The following interface is used for reflog expiration. The caller
|
|
|
|
* calls reflog_expire(), supplying it with three callback functions,
|
|
|
|
* of the following types. The callback functions define the
|
|
|
|
* expiration policy that is desired.
|
|
|
|
*
|
|
|
|
* reflog_expiry_prepare_fn -- Called once after the reference is
|
reflog expire: don't lock reflogs using previously seen OID
During reflog expiry, the cmd_reflog_expire() function first iterates
over all reflogs in logs/*, and then one-by-one acquires the lock for
each one and expires it. This behavior has been with us since this
command was implemented in 4264dc15e1 ("git reflog expire",
2006-12-19).
Change this to stop calling lock_ref_oid_basic() with the OID we saw
when we looped over the logs, instead have it pass the OID it managed
to lock.
This mostly mitigates a race condition where e.g. "git gc" will fail
in a concurrently updated repository because the branch moved since
"git reflog expire --all" was started. I.e. with:
error: cannot lock ref '<refname>': ref '<refname>' is at <OID-A> but expected <OID-B>
This behavior of passing in an "oid" was needed for an edge-case that
I've untangled in this and preceding commits though, namely that we
needed this OID because we'd:
1. Lookup the reflog name/OID via dwim_log()
2. With that OID, lock the reflog
3. Later in builtin/reflog.c we use the OID we looked as input to
lookup_commit_reference_gently(), assured that it's equal to the
OID we got from dwim_log().
We can be sure that this change is safe to make because between
dwim_log (step #1) and lock_ref_oid_basic (step #2) there was no other
logic relevant to the OID or expiry run in the cmd_reflog_expire()
caller.
We can thus treat that code as a black box, before and after this
change it would get an OID that's been locked, the only difference is
that now we mostly won't be failing to get the lock due to the TOCTOU
race[0]. That failure was purely an implementation detail in how the
"current OID" was looked up, it was divorced from the locking
mechanism.
What do we mean with "mostly"? It mostly mitigates it because we'll
still run into cases where the ref is locked and being updated as we
want to expire it, and other git processes wanting to update the refs
will in turn race with us as we expire the reflog.
That remaining race can in turn be mitigated with the
core.filesRefLockTimeout setting, see 4ff0f01cb7 ("refs: retry
acquiring reference locks for 100ms", 2017-08-21). In practice if that
value is high enough we'll probably never have ref updates or reflog
expiry failing, since the clients involved will retry for far longer
than the time any of those operations could take.
See [1] for an initial report of how this impacted "git gc" and a
large discussion about this change in early 2019. In particular patch
looked good to Michael Haggerty, see his[2]. That message seems to not
have made it to the ML archive, its content is quoted in full in my
[3].
I'm leaving behind now-unused code the refs API etc. that takes the
now-NULL "unused_oid" argument, and other code that can be simplified now
that we never have on OID in that context, that'll be cleaned up in
subsequent commits, but for now let's narrowly focus on fixing the
"git gc" issue. As the modified assert() shows we always pass a NULL
oid to reflog_expire() now.
Unfortunately this sort of probabilistic contention is hard to turn
into a test. I've tested this by running the following three subshells
in concurrent terminals:
(
rm -rf /tmp/git &&
git init /tmp/git &&
while true
do
head -c 10 /dev/urandom | hexdump >/tmp/git/out &&
git -C /tmp/git add out &&
git -C /tmp/git commit -m"out"
done
)
(
rm -rf /tmp/git-clone &&
git clone file:///tmp/git /tmp/git-clone &&
while git -C /tmp/git-clone pull
do
date
done
)
(
while git -C /tmp/git-clone reflog expire --all
do
date
done
)
Before this change the "reflog expire" would fail really quickly with
the "but expected" error noted above.
After this change both the "pull" and "reflog expire" will run for a
while, but eventually fail because I get unlucky with
core.filesRefLockTimeout (the "reflog expire" is in a really tight
loop). As noted above that can in turn be mitigated with higher values
of core.filesRefLockTimeout than the 100ms default.
As noted in the commentary added in the preceding commit there's also
the case of branches being racily deleted, that can be tested by
adding this to the above:
(
while git -C /tmp/git-clone branch topic master &&
git -C /tmp/git-clone branch -D topic
do
date
done
)
With core.filesRefLockTimeout set to 10 seconds (it can probably be a
lot lower) I managed to run all four of these concurrently for about
an hour, and accumulated ~125k commits, auto-gc's and all, and didn't
have a single failure. The loops visibly stall while waiting for the
lock, but that's expected and desired behavior.
0. https://en.wikipedia.org/wiki/Time-of-check_to_time-of-use
1. https://lore.kernel.org/git/87tvg7brlm.fsf@evledraar.gmail.com/
2. http://lore.kernel.org/git/b870a17d-2103-41b8-3cbc-7389d5fff33a@alum.mit.edu
3. https://lore.kernel.org/git/87pnqkco8v.fsf@evledraar.gmail.com/
Signed-off-by: Ævar Arnfjörð Bjarmason <avarab@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
2021-08-23 11:36:10 +00:00
|
|
|
* locked. Called with the OID of the locked reference.
|
2014-12-12 08:56:59 +00:00
|
|
|
*
|
|
|
|
* reflog_expiry_should_prune_fn -- Called once for each entry in the
|
|
|
|
* existing reflog. It should return true iff that entry should be
|
|
|
|
* pruned.
|
|
|
|
*
|
|
|
|
* reflog_expiry_cleanup_fn -- Called once before the reference is
|
|
|
|
* unlocked again.
|
|
|
|
*/
|
|
|
|
typedef void reflog_expiry_prepare_fn(const char *refname,
|
2017-05-06 22:10:00 +00:00
|
|
|
const struct object_id *oid,
|
2014-12-12 08:56:59 +00:00
|
|
|
void *cb_data);
|
2017-05-06 22:10:00 +00:00
|
|
|
typedef int reflog_expiry_should_prune_fn(struct object_id *ooid,
|
|
|
|
struct object_id *noid,
|
2014-12-12 08:56:59 +00:00
|
|
|
const char *email,
|
2017-04-26 19:29:31 +00:00
|
|
|
timestamp_t timestamp, int tz,
|
2014-12-12 08:56:59 +00:00
|
|
|
const char *message, void *cb_data);
|
|
|
|
typedef void reflog_expiry_cleanup_fn(void *cb_data);
|
|
|
|
|
|
|
|
/*
|
2021-08-23 11:36:11 +00:00
|
|
|
* Expire reflog entries for the specified reference.
|
|
|
|
* flags is a combination of the constants in
|
2014-12-12 08:56:59 +00:00
|
|
|
* enum expire_reflog_flags. The three function pointers are described
|
|
|
|
* above. On success, return zero.
|
|
|
|
*/
|
2017-03-26 02:42:34 +00:00
|
|
|
int refs_reflog_expire(struct ref_store *refs,
|
|
|
|
const char *refname,
|
|
|
|
unsigned int flags,
|
|
|
|
reflog_expiry_prepare_fn prepare_fn,
|
|
|
|
reflog_expiry_should_prune_fn should_prune_fn,
|
|
|
|
reflog_expiry_cleanup_fn cleanup_fn,
|
|
|
|
void *policy_cb_data);
|
2021-08-23 11:36:11 +00:00
|
|
|
int reflog_expire(const char *refname,
|
2016-03-31 04:19:22 +00:00
|
|
|
unsigned int flags,
|
|
|
|
reflog_expiry_prepare_fn prepare_fn,
|
|
|
|
reflog_expiry_should_prune_fn should_prune_fn,
|
|
|
|
reflog_expiry_cleanup_fn cleanup_fn,
|
|
|
|
void *policy_cb_data);
|
2014-12-12 08:56:59 +00:00
|
|
|
|
2018-04-12 00:21:14 +00:00
|
|
|
struct ref_store *get_main_ref_store(struct repository *r);
|
2019-11-17 21:04:46 +00:00
|
|
|
|
|
|
|
/**
|
|
|
|
* Submodules
|
|
|
|
* ----------
|
|
|
|
*
|
|
|
|
* If you want to iterate the refs of a submodule you first need to add the
|
|
|
|
* submodules object database. You can do this by a code-snippet like
|
|
|
|
* this:
|
|
|
|
*
|
|
|
|
* const char *path = "path/to/submodule"
|
|
|
|
* if (add_submodule_odb(path))
|
|
|
|
* die("Error submodule '%s' not populated.", path);
|
|
|
|
*
|
|
|
|
* `add_submodule_odb()` will return zero on success. If you
|
|
|
|
* do not do this you will get an error for each ref that it does not point
|
|
|
|
* to a valid object.
|
|
|
|
*
|
|
|
|
* Note: As a side-effect of this you cannot safely assume that all
|
|
|
|
* objects you lookup are available in superproject. All submodule objects
|
|
|
|
* will be available the same way as the superprojects objects.
|
|
|
|
*
|
|
|
|
* Example:
|
|
|
|
* --------
|
|
|
|
*
|
|
|
|
* ----
|
|
|
|
* static int handle_remote_ref(const char *refname,
|
|
|
|
* const unsigned char *sha1, int flags, void *cb_data)
|
|
|
|
* {
|
|
|
|
* struct strbuf *output = cb_data;
|
|
|
|
* strbuf_addf(output, "%s\n", refname);
|
|
|
|
* return 0;
|
|
|
|
* }
|
|
|
|
*
|
|
|
|
*/
|
|
|
|
|
2017-03-26 02:42:33 +00:00
|
|
|
/*
|
|
|
|
* Return the ref_store instance for the specified submodule. For the
|
|
|
|
* main repository, use submodule==NULL; such a call cannot fail. For
|
|
|
|
* a submodule, the submodule must exist and be a nonbare repository,
|
|
|
|
* otherwise return NULL. If the requested reference store has not yet
|
|
|
|
* been initialized, initialize it first.
|
|
|
|
*
|
|
|
|
* For backwards compatibility, submodule=="" is treated the same as
|
|
|
|
* submodule==NULL.
|
|
|
|
*/
|
|
|
|
struct ref_store *get_submodule_ref_store(const char *submodule);
|
2017-04-24 10:01:22 +00:00
|
|
|
struct ref_store *get_worktree_ref_store(const struct worktree *wt);
|
2017-03-26 02:42:29 +00:00
|
|
|
|
2022-08-05 17:58:36 +00:00
|
|
|
/*
|
|
|
|
* Some of the names specified by refs have special meaning to Git.
|
|
|
|
* Organize these namespaces in a comon 'ref_namespace' array for
|
|
|
|
* reference from multiple places in the codebase.
|
|
|
|
*/
|
|
|
|
|
|
|
|
struct ref_namespace_info {
|
|
|
|
char *ref;
|
|
|
|
enum decoration_type decoration;
|
|
|
|
|
|
|
|
/*
|
|
|
|
* If 'exact' is true, then we must match the 'ref' exactly.
|
|
|
|
* Otherwise, use a prefix match.
|
|
|
|
*
|
|
|
|
* 'ref_updated' is for internal use. It represents whether the
|
|
|
|
* 'ref' value was replaced from its original literal version.
|
|
|
|
*/
|
|
|
|
unsigned exact:1,
|
|
|
|
ref_updated:1;
|
|
|
|
};
|
|
|
|
|
|
|
|
enum ref_namespace {
|
|
|
|
NAMESPACE_HEAD,
|
|
|
|
NAMESPACE_BRANCHES,
|
|
|
|
NAMESPACE_TAGS,
|
|
|
|
NAMESPACE_REMOTE_REFS,
|
|
|
|
NAMESPACE_STASH,
|
|
|
|
NAMESPACE_REPLACE,
|
|
|
|
NAMESPACE_NOTES,
|
|
|
|
NAMESPACE_PREFETCH,
|
|
|
|
NAMESPACE_REWRITTEN,
|
|
|
|
|
|
|
|
/* Must be last */
|
|
|
|
NAMESPACE__COUNT
|
|
|
|
};
|
|
|
|
|
|
|
|
/* See refs.c for the contents of this array. */
|
|
|
|
extern struct ref_namespace_info ref_namespace[NAMESPACE__COUNT];
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Some ref namespaces can be modified by config values or environment
|
|
|
|
* variables. Modify a namespace as specified by its ref_namespace key.
|
|
|
|
*/
|
|
|
|
void update_ref_namespace(enum ref_namespace namespace, char *ref);
|
|
|
|
|
2005-06-06 20:31:29 +00:00
|
|
|
#endif /* REFS_H */
|