2005-06-07 04:31:29 +08:00
|
|
|
#ifndef REFS_H
|
|
|
|
#define REFS_H
|
|
|
|
|
2020-09-02 06:28:08 +08:00
|
|
|
#include "cache.h"
|
|
|
|
|
2017-03-18 10:03:11 +08:00
|
|
|
struct object_id;
|
2017-03-26 10:42:29 +08:00
|
|
|
struct ref_store;
|
2018-08-16 01:54:05 +08:00
|
|
|
struct repository;
|
2017-03-18 10:03:11 +08:00
|
|
|
struct strbuf;
|
|
|
|
struct string_list;
|
2018-08-16 01:54:05 +08:00
|
|
|
struct string_list_item;
|
2017-04-24 18:01:22 +08:00
|
|
|
struct worktree;
|
2017-03-18 10:03:11 +08:00
|
|
|
|
2015-06-22 22:03:05 +08:00
|
|
|
/*
|
|
|
|
* Resolve a reference, recursively following symbolic refererences.
|
|
|
|
*
|
2017-09-23 17:41:45 +08: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-16 06:07:09 +08:00
|
|
|
* If oid is non-NULL, store the referred-to object's name in it.
|
2015-06-22 22:03:05 +08: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-16 06:07:09 +08:00
|
|
|
* - If RESOLVE_REF_READING is not set, clear oid and return the name of
|
2015-06-22 22:03:05 +08: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-16 06:07:09 +08: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 22:03:05 +08: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-16 06:07:09 +08:00
|
|
|
* is bad then the value stored in oid will be null_oid and the two
|
2015-06-22 22:03:05 +08: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
|
|
|
|
|
2017-03-26 10:42:34 +08: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-16 06:07:09 +08:00
|
|
|
struct object_id *oid,
|
2017-03-26 10:42:34 +08:00
|
|
|
int *flags);
|
2016-03-31 12:19:22 +08: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-16 06:07:09 +08:00
|
|
|
struct object_id *oid, int *flags);
|
2015-06-22 22:03:05 +08:00
|
|
|
|
2017-03-26 10:42:34 +08: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-16 06:06:55 +08:00
|
|
|
struct object_id *oid, int *flags);
|
2016-03-31 12:19:22 +08: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-16 06:06:55 +08:00
|
|
|
struct object_id *oid, int *flags);
|
2015-06-22 22:03:05 +08:00
|
|
|
|
2017-03-26 10:42:34 +08:00
|
|
|
int refs_read_ref_full(struct ref_store *refs, const char *refname,
|
2017-10-16 06:06:56 +08:00
|
|
|
int resolve_flags, struct object_id *oid, int *flags);
|
2016-03-31 12:19:22 +08:00
|
|
|
int read_ref_full(const char *refname, int resolve_flags,
|
2017-10-16 06:06:56 +08:00
|
|
|
struct object_id *oid, int *flags);
|
|
|
|
int read_ref(const char *refname, struct object_id *oid);
|
2015-06-22 22:03:05 +08:00
|
|
|
|
2017-03-26 10:42:34 +08: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 14:41:26 +08:00
|
|
|
const struct string_list *extras,
|
2017-03-26 10:42:34 +08:00
|
|
|
const struct string_list *skip,
|
|
|
|
struct strbuf *err);
|
|
|
|
|
2020-08-22 00:59:34 +08:00
|
|
|
int refs_ref_exists(struct ref_store *refs, const char *refname);
|
|
|
|
|
2016-03-31 12:19:22 +08:00
|
|
|
int ref_exists(const char *refname);
|
2015-06-22 22:03:05 +08:00
|
|
|
|
2017-01-27 18:09:47 +08:00
|
|
|
int should_autocreate_reflog(const char *refname);
|
|
|
|
|
2016-03-31 12:19:22 +08:00
|
|
|
int is_branch(const char *refname);
|
2015-06-22 22:03:05 +08:00
|
|
|
|
2019-04-29 16:28:14 +08:00
|
|
|
int refs_init_db(struct strbuf *err);
|
2016-09-05 00:08:41 +08:00
|
|
|
|
2015-06-22 22:03:05 +08:00
|
|
|
/*
|
|
|
|
* If refname is a non-symbolic reference that refers to a tag object,
|
|
|
|
* and the tag can be (recursively) dereferenced to a non-tag object,
|
2017-10-16 06:07:02 +08:00
|
|
|
* store the object ID of the referred-to object to oid and return 0.
|
|
|
|
* If any of these conditions are not met, return a non-zero value.
|
2015-06-22 22:03:05 +08:00
|
|
|
* Symbolic references are considered unpeelable, even if they
|
|
|
|
* ultimately resolve to a peelable tag.
|
|
|
|
*/
|
2017-03-26 10:42:34 +08:00
|
|
|
int refs_peel_ref(struct ref_store *refs, const char *refname,
|
2017-10-16 06:07:02 +08:00
|
|
|
struct object_id *oid);
|
|
|
|
int peel_ref(const char *refname, struct object_id *oid);
|
2015-06-22 22:03:05 +08:00
|
|
|
|
|
|
|
/**
|
2016-09-05 00:08:24 +08:00
|
|
|
* Resolve refname in the nested "gitlink" repository in the specified
|
|
|
|
* submodule (which must be non-NULL). If the resolution is
|
2017-11-05 16:42:09 +08:00
|
|
|
* successful, return 0 and set oid to the name of the object;
|
2016-09-05 00:08:24 +08:00
|
|
|
* otherwise, return a non-zero value.
|
2015-06-22 22:03:05 +08:00
|
|
|
*/
|
2016-09-05 00:08:24 +08: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-16 06:07:07 +08:00
|
|
|
struct object_id *oid);
|
2015-06-22 22:03:05 +08: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 12:19:22 +08:00
|
|
|
int refname_match(const char *abbrev_name, const char *full_name);
|
2015-06-22 22:03:05 +08:00
|
|
|
|
2018-03-16 01:31:24 +08: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-29 04:23:25 +08:00
|
|
|
struct strvec;
|
|
|
|
void expand_ref_prefix(struct strvec *prefixes, const char *prefix);
|
2018-03-16 01:31:24 +08:00
|
|
|
|
2019-04-06 19:34:27 +08:00
|
|
|
int expand_ref(struct repository *r, const char *str, int len, struct object_id *oid, char **ref);
|
2020-09-02 06:28:09 +08: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 19:34:29 +08:00
|
|
|
int repo_dwim_log(struct repository *r, const char *str, int len, struct object_id *oid, char **ref);
|
2020-09-02 06:28:08 +08:00
|
|
|
static inline int dwim_ref(const char *str, int len, struct object_id *oid,
|
2020-09-02 06:28:09 +08:00
|
|
|
char **ref, int nonfatal_dangling_mark)
|
2020-09-02 06:28:08 +08:00
|
|
|
{
|
2020-09-02 06:28:09 +08:00
|
|
|
return repo_dwim_ref(the_repository, str, len, oid, ref,
|
|
|
|
nonfatal_dangling_mark);
|
2020-09-02 06:28:08 +08:00
|
|
|
}
|
2017-10-16 06:06:59 +08:00
|
|
|
int dwim_log(const char *str, int len, struct object_id *oid, char **ref);
|
2015-06-22 22:03:05 +08:00
|
|
|
|
2020-06-24 22:46:33 +08: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.
|
|
|
|
*/
|
|
|
|
const char *git_default_branch_name(void);
|
|
|
|
char *repo_default_branch_name(struct repository *r);
|
|
|
|
|
2014-04-17 06:26:44 +08: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 22:17:44 +08:00
|
|
|
* A ref_transaction represents a collection of reference updates that
|
|
|
|
* should succeed or fail together.
|
2014-04-17 06:26:44 +08: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 22:17:44 +08:00
|
|
|
*
|
2014-04-17 06:26:44 +08: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 22:17:44 +08: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;
|
|
|
|
*
|
|
|
|
* transaction = ref_store_transaction_begin(refs, &err);
|
|
|
|
* 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-17 06:26:44 +08: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-26 04:05:46 +08: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 22:17:44 +08: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-17 06:26:44 +08:00
|
|
|
*/
|
2014-04-07 21:48:10 +08:00
|
|
|
struct ref_transaction;
|
|
|
|
|
2013-04-14 20:54:16 +08: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 12:15:15 +08: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 20:54:16 +08:00
|
|
|
*/
|
|
|
|
|
|
|
|
/* Reference is a symbolic reference. */
|
2011-10-20 04:45:50 +08:00
|
|
|
#define REF_ISSYMREF 0x01
|
2013-04-14 20:54:16 +08:00
|
|
|
|
|
|
|
/* Reference is a packed reference. */
|
2011-10-20 04:45:50 +08:00
|
|
|
#define REF_ISPACKED 0x02
|
2013-04-14 20:54:16 +08: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-04 02:45:43 +08: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 20:54:16 +08:00
|
|
|
*/
|
2011-10-20 04:45:50 +08:00
|
|
|
#define REF_ISBROKEN 0x04
|
2006-11-22 15:36:35 +08: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-04 02:45:43 +08: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 11:23:36 +08:00
|
|
|
/*
|
2013-05-25 17:08:24 +08:00
|
|
|
* The signature for the callback function for the for_each_*()
|
2017-11-05 16:42:09 +08:00
|
|
|
* functions below. The memory pointed to by the refname and oid
|
2013-05-25 17:08:24 +08: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-26 02:38:28 +08:00
|
|
|
const struct object_id *oid, int flags, void *cb_data);
|
|
|
|
|
2018-08-21 02:24:16 +08: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 17:08:24 +08: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 10:42:41 +08:00
|
|
|
* stop the iteration. Returned references are sorted.
|
2005-07-03 11:23:36 +08:00
|
|
|
*/
|
2017-08-23 20:36:55 +08:00
|
|
|
int refs_head_ref(struct ref_store *refs,
|
|
|
|
each_ref_fn fn, void *cb_data);
|
2017-03-26 10:42:34 +08: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-18 05:04:46 +08:00
|
|
|
/* just iterates the head ref. */
|
2016-03-31 12:19:22 +08:00
|
|
|
int head_ref(each_ref_fn fn, void *cb_data);
|
2019-11-18 05:04:46 +08:00
|
|
|
|
|
|
|
/* iterates all refs. */
|
2016-03-31 12:19:22 +08:00
|
|
|
int for_each_ref(each_ref_fn fn, void *cb_data);
|
2019-11-18 05:04:46 +08:00
|
|
|
|
|
|
|
/**
|
|
|
|
* iterates all refs which have a defined prefix and strips that prefix from
|
|
|
|
* the passed variable refname.
|
|
|
|
*/
|
2016-03-31 12:19:22 +08:00
|
|
|
int for_each_ref_in(const char *prefix, each_ref_fn fn, void *cb_data);
|
2019-11-18 05:04:46 +08:00
|
|
|
|
2017-08-23 20:36:56 +08:00
|
|
|
int refs_for_each_fullref_in(struct ref_store *refs, const char *prefix,
|
|
|
|
each_ref_fn fn, void *cb_data,
|
|
|
|
unsigned int broken);
|
2016-03-31 12:19:22 +08:00
|
|
|
int for_each_fullref_in(const char *prefix, each_ref_fn fn, void *cb_data,
|
|
|
|
unsigned int broken);
|
2019-11-18 05:04:46 +08:00
|
|
|
|
|
|
|
/**
|
|
|
|
* iterate refs from the respective area.
|
|
|
|
*/
|
2016-03-31 12:19:22 +08: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-21 02:24:19 +08:00
|
|
|
int for_each_replace_ref(struct repository *r, each_repo_ref_fn fn, void *cb_data);
|
2019-11-18 05:04:46 +08:00
|
|
|
|
|
|
|
/* iterates all refs that match the specified glob pattern. */
|
2016-03-31 12:19:22 +08:00
|
|
|
int for_each_glob_ref(each_ref_fn fn, const char *pattern, void *cb_data);
|
2019-11-18 05:04:46 +08:00
|
|
|
|
2016-03-31 12:19:22 +08: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-06 01:54:44 +08:00
|
|
|
|
2015-06-22 22:03:05 +08:00
|
|
|
/* can be used to learn about broken ref and symref */
|
2017-03-26 10:42:34 +08:00
|
|
|
int refs_for_each_rawref(struct ref_store *refs, each_ref_fn fn, void *cb_data);
|
2016-03-31 12:19:22 +08:00
|
|
|
int for_each_rawref(each_ref_fn fn, void *cb_data);
|
2015-06-22 22:03:05 +08: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-22 05:33:41 +08: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-13 01:04:26 +08:00
|
|
|
static inline const char *has_glob_specials(const char *pattern)
|
|
|
|
{
|
|
|
|
return strpbrk(pattern, "?*[");
|
|
|
|
}
|
|
|
|
|
2016-03-31 12:19:22 +08: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 15:27:10 +08:00
|
|
|
|
2013-04-23 03:52:32 +08: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.
|
|
|
|
*/
|
2017-03-26 10:42:34 +08:00
|
|
|
int refs_pack_refs(struct ref_store *refs, unsigned int flags);
|
2013-04-23 03:52:32 +08:00
|
|
|
|
2014-06-20 22:42:50 +08:00
|
|
|
/*
|
2015-07-22 05:04:50 +08:00
|
|
|
* Setup reflog before using. Fill in err and return -1 on failure.
|
2014-06-20 22:42:50 +08:00
|
|
|
*/
|
2017-03-26 10:42:34 +08:00
|
|
|
int refs_create_reflog(struct ref_store *refs, const char *refname,
|
|
|
|
int force_create, struct strbuf *err);
|
2015-07-22 05:04:52 +08:00
|
|
|
int safe_create_reflog(const char *refname, int force_create, struct strbuf *err);
|
2010-05-22 08:28:36 +08:00
|
|
|
|
2006-05-17 17:56:09 +08:00
|
|
|
/** Reads log for the value of ref during at_time. **/
|
2019-04-06 19:34:30 +08:00
|
|
|
int read_ref_at(struct ref_store *refs,
|
|
|
|
const char *refname, unsigned int flags,
|
2017-04-27 03:29:31 +08:00
|
|
|
timestamp_t at_time, int cnt,
|
2017-10-16 06:07:03 +08:00
|
|
|
struct object_id *oid, char **msg,
|
2017-04-27 03:29:31 +08:00
|
|
|
timestamp_t *cutoff_time, int *cutoff_tz, int *cutoff_cnt);
|
2006-05-17 17:56:09 +08:00
|
|
|
|
2014-05-07 06:45:52 +08:00
|
|
|
/** Check if a particular reflog exists */
|
2017-03-26 10:42:34 +08:00
|
|
|
int refs_reflog_exists(struct ref_store *refs, const char *refname);
|
2016-03-31 12:19:22 +08:00
|
|
|
int reflog_exists(const char *refname);
|
2014-05-07 06:45:52 +08:00
|
|
|
|
2015-06-22 22:02:52 +08:00
|
|
|
/*
|
2017-10-16 06:06:50 +08:00
|
|
|
* Delete the specified reference. If old_oid is non-NULL, then
|
2017-11-05 16:42:09 +08:00
|
|
|
* verify that the current value of the reference is old_oid before
|
2017-10-16 06:06:50 +08: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 22:17:38 +08:00
|
|
|
* ref_transaction_delete().
|
2015-06-22 22:02:52 +08:00
|
|
|
*/
|
2017-03-26 10:42:35 +08:00
|
|
|
int refs_delete_ref(struct ref_store *refs, const char *msg,
|
|
|
|
const char *refname,
|
2017-10-16 06:06:50 +08:00
|
|
|
const struct object_id *old_oid,
|
2017-03-26 10:42:35 +08:00
|
|
|
unsigned int flags);
|
2017-02-21 09:10:32 +08:00
|
|
|
int delete_ref(const char *msg, const char *refname,
|
2017-10-16 06:06:50 +08:00
|
|
|
const struct object_id *old_oid, unsigned int flags);
|
2015-06-22 22:02:52 +08:00
|
|
|
|
2015-06-22 22:02:55 +08: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 22:17:38 +08:00
|
|
|
* an all-or-nothing transaction). msg and flags are passed through to
|
2016-06-18 12:15:10 +08:00
|
|
|
* ref_transaction_delete().
|
2015-06-22 22:02:55 +08:00
|
|
|
*/
|
2017-05-22 22:17:38 +08: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 22:02:55 +08:00
|
|
|
|
2014-05-07 06:45:52 +08:00
|
|
|
/** Delete a reflog */
|
2017-03-26 10:42:34 +08:00
|
|
|
int refs_delete_reflog(struct ref_store *refs, const char *refname);
|
2016-03-31 12:19:22 +08:00
|
|
|
int delete_reflog(const char *refname);
|
2014-05-07 06:45:52 +08:00
|
|
|
|
2020-05-21 01:36:07 +08:00
|
|
|
/*
|
|
|
|
* Callback to process a reflog entry found by the iteration functions (see
|
|
|
|
* below)
|
|
|
|
*/
|
2016-03-31 12:19:22 +08:00
|
|
|
typedef int each_reflog_ent_fn(
|
2017-02-22 07:47:32 +08:00
|
|
|
struct object_id *old_oid, struct object_id *new_oid,
|
2017-04-27 03:29:31 +08:00
|
|
|
const char *committer, timestamp_t timestamp,
|
2016-03-31 12:19:22 +08:00
|
|
|
int tz, const char *msg, void *cb_data);
|
|
|
|
|
2020-05-21 01:36:07 +08:00
|
|
|
/* Iterate over reflog entries in the log for `refname`. */
|
|
|
|
|
|
|
|
/* oldest entry first */
|
2017-03-26 10:42:34 +08:00
|
|
|
int refs_for_each_reflog_ent(struct ref_store *refs, const char *refname,
|
|
|
|
each_reflog_ent_fn fn, void *cb_data);
|
2020-05-21 01:36:07 +08:00
|
|
|
|
|
|
|
/* youngest entry first */
|
2017-03-26 10:42:34 +08: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-21 01:36:07 +08:00
|
|
|
|
|
|
|
/*
|
|
|
|
* Iterate over reflog entries in the log for `refname` in the main ref store.
|
|
|
|
*/
|
|
|
|
|
|
|
|
/* oldest entry first */
|
2011-12-12 13:38:09 +08:00
|
|
|
int for_each_reflog_ent(const char *refname, each_reflog_ent_fn fn, void *cb_data);
|
2020-05-21 01:36:07 +08:00
|
|
|
|
|
|
|
/* youngest entry first */
|
2013-03-09 05:27:37 +08:00
|
|
|
int for_each_reflog_ent_reverse(const char *refname, each_reflog_ent_fn fn, void *cb_data);
|
2006-12-18 17:18:16 +08:00
|
|
|
|
2007-02-04 02:25:43 +08:00
|
|
|
/*
|
|
|
|
* Calls the specified function for each reflog file until it returns nonzero,
|
2017-03-26 10:42:41 +08:00
|
|
|
* and returns the value. Reflog file order is unspecified.
|
2007-02-04 02:25:43 +08:00
|
|
|
*/
|
2017-03-26 10:42:34 +08:00
|
|
|
int refs_for_each_reflog(struct ref_store *refs, each_ref_fn fn, void *cb_data);
|
2016-03-31 12:19:22 +08:00
|
|
|
int for_each_reflog(each_ref_fn fn, void *cb_data);
|
2007-02-04 02:25:43 +08:00
|
|
|
|
2011-09-16 05:10:25 +08:00
|
|
|
#define REFNAME_ALLOW_ONELEVEL 1
|
|
|
|
#define REFNAME_REFSPEC_PATTERN 2
|
|
|
|
|
|
|
|
/*
|
2011-12-12 13:38:09 +08: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-16 05:10:25 +08:00
|
|
|
* reference names. If REFNAME_REFSPEC_PATTERN is set in flags, then
|
2015-07-23 05:05:33 +08:00
|
|
|
* allow a single "*" wildcard character in the refspec. No leading or
|
|
|
|
* repeated slashes are accepted.
|
2011-09-16 05:10:25 +08:00
|
|
|
*/
|
2016-03-31 12:19:22 +08:00
|
|
|
int check_refname_format(const char *refname, int flags);
|
2005-06-07 04:31:29 +08:00
|
|
|
|
2019-03-08 17:28:34 +08: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 12:19:22 +08:00
|
|
|
const char *prettify_refname(const char *refname);
|
2015-06-22 22:03:05 +08:00
|
|
|
|
2019-04-06 19:34:25 +08:00
|
|
|
char *refs_shorten_unambiguous_ref(struct ref_store *refs,
|
|
|
|
const char *refname, int strict);
|
2016-03-31 12:19:22 +08:00
|
|
|
char *shorten_unambiguous_ref(const char *refname, int strict);
|
2009-03-09 09:06:05 +08:00
|
|
|
|
2006-11-28 22:47:40 +08:00
|
|
|
/** rename ref, return 0 on success **/
|
2017-03-26 10:42:34 +08: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-19 05:19:16 +08: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 22:47:40 +08:00
|
|
|
|
2017-03-26 10:42:34 +08:00
|
|
|
int refs_create_symref(struct ref_store *refs, const char *refname,
|
|
|
|
const char *target, const char *logmsg);
|
2016-03-31 12:19:22 +08:00
|
|
|
int create_symref(const char *refname, const char *target, const char *logmsg);
|
2007-04-10 12:14:26 +08:00
|
|
|
|
2014-04-07 21:47:56 +08:00
|
|
|
enum action_on_err {
|
|
|
|
UPDATE_REFS_MSG_ON_ERR,
|
|
|
|
UPDATE_REFS_DIE_ON_ERR,
|
|
|
|
UPDATE_REFS_QUIET_ON_ERR
|
|
|
|
};
|
|
|
|
|
2014-04-07 21:48:10 +08:00
|
|
|
/*
|
|
|
|
* Begin a reference transaction. The reference transaction must
|
2014-06-20 22:42:43 +08:00
|
|
|
* be freed by calling ref_transaction_free().
|
2014-04-07 21:48:10 +08:00
|
|
|
*/
|
2017-03-26 10:42:35 +08:00
|
|
|
struct ref_transaction *ref_store_transaction_begin(struct ref_store *refs,
|
|
|
|
struct strbuf *err);
|
2014-05-20 01:42:34 +08:00
|
|
|
struct ref_transaction *ref_transaction_begin(struct strbuf *err);
|
2014-04-07 21:48:10 +08:00
|
|
|
|
|
|
|
/*
|
2015-02-18 01:00:23 +08: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 16:42:05 +08: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 22:17:32 +08:00
|
|
|
* NULL, meaning that the reference is not changed, or
|
2017-11-05 16:42:05 +08:00
|
|
|
* null_oid, meaning that the reference should be deleted. A
|
2017-05-22 22:17:32 +08:00
|
|
|
* copy of this value is made in the transaction.
|
|
|
|
*
|
2017-11-05 16:42:05 +08:00
|
|
|
* old_oid -- the object ID that the reference must have before
|
2017-05-22 22:17:32 +08: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 16:42:05 +08:00
|
|
|
* or null_oid, meaning that the reference must not exist
|
2017-05-22 22:17:32 +08:00
|
|
|
* before the update. A copy of this value is made in the
|
|
|
|
* transaction.
|
|
|
|
*
|
2015-02-18 01:00:23 +08:00
|
|
|
* flags -- flags affecting the update, passed to
|
2017-11-05 16:42:06 +08:00
|
|
|
* update_ref_lock(). Possible flags: REF_NO_DEREF,
|
2017-11-05 16:42:05 +08:00
|
|
|
* REF_FORCE_CREATE_REFLOG. See those constants for more
|
|
|
|
* information.
|
2015-02-18 01:00:23 +08:00
|
|
|
*
|
|
|
|
* msg -- a message describing the change (for the reflog).
|
|
|
|
*
|
|
|
|
* err -- a strbuf for receiving a description of any error that
|
2016-06-11 03:05:26 +08:00
|
|
|
* might have occurred.
|
2015-02-18 01:00:23 +08: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 21:48:10 +08:00
|
|
|
*/
|
|
|
|
|
|
|
|
/*
|
2017-11-05 16:42:05 +08: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 16:42:06 +08:00
|
|
|
#define REF_NO_DEREF (1 << 0)
|
2017-11-05 16:42:05 +08: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)
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Bitmask of all of the flags that are allowed to be passed in to
|
|
|
|
* ref_transaction_update() and friends:
|
|
|
|
*/
|
|
|
|
#define REF_TRANSACTION_UPDATE_ALLOWED_FLAGS \
|
2017-11-05 16:42:06 +08:00
|
|
|
(REF_NO_DEREF | REF_FORCE_CREATE_REFLOG)
|
2017-11-05 16:42:05 +08: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-18 01:00:21 +08:00
|
|
|
* beforehand. The old value is checked after the lock is taken to
|
2017-10-16 06:06:53 +08: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-18 01:00:21 +08:00
|
|
|
* value is not checked.
|
|
|
|
*
|
2015-02-18 01:00:23 +08:00
|
|
|
* See the above comment "Reference transaction updates" for more
|
|
|
|
* information.
|
2014-04-07 21:48:10 +08:00
|
|
|
*/
|
2014-06-20 22:43:00 +08:00
|
|
|
int ref_transaction_update(struct ref_transaction *transaction,
|
|
|
|
const char *refname,
|
2017-10-16 06:06:53 +08:00
|
|
|
const struct object_id *new_oid,
|
|
|
|
const struct object_id *old_oid,
|
2015-02-18 01:00:15 +08:00
|
|
|
unsigned int flags, const char *msg,
|
2014-06-20 22:43:00 +08:00
|
|
|
struct strbuf *err);
|
2014-04-07 21:48:10 +08:00
|
|
|
|
|
|
|
/*
|
2017-10-16 06:06:53 +08:00
|
|
|
* Add a reference creation to transaction. new_oid is the value that
|
2015-02-18 01:00:23 +08:00
|
|
|
* the reference should have after the update; it must not be
|
2017-10-16 06:06:53 +08:00
|
|
|
* null_oid. It is verified that the reference does not exist
|
2014-04-07 21:48:10 +08:00
|
|
|
* already.
|
2015-02-18 01:00:23 +08:00
|
|
|
*
|
|
|
|
* See the above comment "Reference transaction updates" for more
|
|
|
|
* information.
|
2014-04-07 21:48:10 +08:00
|
|
|
*/
|
2014-04-17 06:26:44 +08:00
|
|
|
int ref_transaction_create(struct ref_transaction *transaction,
|
|
|
|
const char *refname,
|
2017-10-16 06:06:53 +08:00
|
|
|
const struct object_id *new_oid,
|
2015-02-18 01:00:13 +08:00
|
|
|
unsigned int flags, const char *msg,
|
2014-04-17 06:26:44 +08:00
|
|
|
struct strbuf *err);
|
2014-04-07 21:48:10 +08:00
|
|
|
|
|
|
|
/*
|
2017-10-16 06:06:53 +08:00
|
|
|
* Add a reference deletion to transaction. If old_oid is non-NULL,
|
2015-02-18 01:00:23 +08:00
|
|
|
* then it holds the value that the reference should have had before
|
2017-10-16 06:06:53 +08:00
|
|
|
* the update (which must not be null_oid).
|
2015-02-18 01:00:23 +08:00
|
|
|
*
|
|
|
|
* See the above comment "Reference transaction updates" for more
|
|
|
|
* information.
|
2014-04-07 21:48:10 +08:00
|
|
|
*/
|
2014-04-17 06:27:45 +08:00
|
|
|
int ref_transaction_delete(struct ref_transaction *transaction,
|
|
|
|
const char *refname,
|
2017-10-16 06:06:53 +08:00
|
|
|
const struct object_id *old_oid,
|
2015-02-18 01:00:16 +08:00
|
|
|
unsigned int flags, const char *msg,
|
2014-04-17 06:27:45 +08:00
|
|
|
struct strbuf *err);
|
2014-04-07 21:48:10 +08:00
|
|
|
|
2015-02-18 01:00:21 +08:00
|
|
|
/*
|
2017-10-16 06:06:53 +08: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-18 01:00:23 +08:00
|
|
|
*
|
|
|
|
* See the above comment "Reference transaction updates" for more
|
|
|
|
* information.
|
2015-02-18 01:00:21 +08:00
|
|
|
*/
|
|
|
|
int ref_transaction_verify(struct ref_transaction *transaction,
|
|
|
|
const char *refname,
|
2017-10-16 06:06:53 +08:00
|
|
|
const struct object_id *old_oid,
|
2015-02-18 01:00:21 +08:00
|
|
|
unsigned int flags,
|
|
|
|
struct strbuf *err);
|
|
|
|
|
2014-05-17 05:14:38 +08: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 22:17:44 +08:00
|
|
|
|
|
|
|
/*
|
2017-06-25 18:20:41 +08: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 22:17:44 +08: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 18:20:41 +08: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 22:17:44 +08: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 21:48:10 +08:00
|
|
|
int ref_transaction_commit(struct ref_transaction *transaction,
|
2014-05-01 03:22:42 +08:00
|
|
|
struct strbuf *err);
|
2014-04-07 21:48:10 +08: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 22:17:44 +08: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 22:03:01 +08: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 16:42:09 +08:00
|
|
|
* old_oid values must either be absent or null_oid.
|
2015-06-22 22:03:01 +08:00
|
|
|
*/
|
|
|
|
int initial_ref_transaction_commit(struct ref_transaction *transaction,
|
|
|
|
struct strbuf *err);
|
|
|
|
|
2014-06-20 22:42:42 +08: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 22:17:44 +08:00
|
|
|
* Free `*transaction` and all associated data.
|
2014-06-20 22:42:42 +08:00
|
|
|
*/
|
|
|
|
void ref_transaction_free(struct ref_transaction *transaction);
|
|
|
|
|
2015-02-18 01:00:22 +08: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 10:42:35 +08:00
|
|
|
int refs_update_ref(struct ref_store *refs, const char *msg, const char *refname,
|
2017-10-16 06:06:51 +08:00
|
|
|
const struct object_id *new_oid, const struct object_id *old_oid,
|
2017-03-26 10:42:35 +08:00
|
|
|
unsigned int flags, enum action_on_err onerr);
|
2015-02-18 01:00:22 +08:00
|
|
|
int update_ref(const char *msg, const char *refname,
|
2016-09-06 04:08:08 +08:00
|
|
|
const struct object_id *new_oid, const struct object_id *old_oid,
|
|
|
|
unsigned int flags, enum action_on_err onerr);
|
2007-09-05 09:38:24 +08:00
|
|
|
|
2016-03-31 12:19:22 +08:00
|
|
|
int parse_hide_refs_config(const char *var, const char *value, const char *);
|
2015-06-22 22:03:05 +08:00
|
|
|
|
2015-11-03 15:58:16 +08: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.
|
|
|
|
*/
|
2016-03-31 12:19:22 +08:00
|
|
|
int ref_is_hidden(const char *, const char *);
|
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 08:08:30 +08:00
|
|
|
|
2015-07-31 14:06:18 +08:00
|
|
|
enum ref_type {
|
2018-10-21 16:08:54 +08:00
|
|
|
REF_TYPE_PER_WORKTREE, /* refs inside refs/ but not shared */
|
|
|
|
REF_TYPE_PSEUDOREF, /* refs outside refs/ in current worktree */
|
|
|
|
REF_TYPE_MAIN_PSEUDOREF, /* pseudo refs from the main worktree */
|
|
|
|
REF_TYPE_OTHER_PSEUDOREF, /* pseudo refs from other worktrees */
|
|
|
|
REF_TYPE_NORMAL, /* normal/shared refs inside refs/ */
|
2015-07-31 14:06:18 +08:00
|
|
|
};
|
|
|
|
|
|
|
|
enum ref_type ref_type(const char *refname);
|
|
|
|
|
2014-12-12 16:56:59 +08:00
|
|
|
enum expire_reflog_flags {
|
|
|
|
EXPIRE_REFLOGS_DRY_RUN = 1 << 0,
|
|
|
|
EXPIRE_REFLOGS_UPDATE_REF = 1 << 1,
|
|
|
|
EXPIRE_REFLOGS_VERBOSE = 1 << 2,
|
|
|
|
EXPIRE_REFLOGS_REWRITE = 1 << 3
|
|
|
|
};
|
|
|
|
|
|
|
|
/*
|
|
|
|
* 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
|
|
|
|
* locked.
|
|
|
|
*
|
|
|
|
* 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-07 06:10:00 +08:00
|
|
|
const struct object_id *oid,
|
2014-12-12 16:56:59 +08:00
|
|
|
void *cb_data);
|
2017-05-07 06:10:00 +08:00
|
|
|
typedef int reflog_expiry_should_prune_fn(struct object_id *ooid,
|
|
|
|
struct object_id *noid,
|
2014-12-12 16:56:59 +08:00
|
|
|
const char *email,
|
2017-04-27 03:29:31 +08:00
|
|
|
timestamp_t timestamp, int tz,
|
2014-12-12 16:56:59 +08:00
|
|
|
const char *message, void *cb_data);
|
|
|
|
typedef void reflog_expiry_cleanup_fn(void *cb_data);
|
|
|
|
|
|
|
|
/*
|
2017-10-16 06:07:04 +08:00
|
|
|
* Expire reflog entries for the specified reference. oid is the old
|
2014-12-12 16:56:59 +08:00
|
|
|
* value of the reference. flags is a combination of the constants in
|
|
|
|
* enum expire_reflog_flags. The three function pointers are described
|
|
|
|
* above. On success, return zero.
|
|
|
|
*/
|
2017-03-26 10:42:34 +08:00
|
|
|
int refs_reflog_expire(struct ref_store *refs,
|
|
|
|
const char *refname,
|
2017-10-16 06:07:04 +08:00
|
|
|
const struct object_id *oid,
|
2017-03-26 10:42:34 +08: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);
|
2017-10-16 06:07:04 +08:00
|
|
|
int reflog_expire(const char *refname, const struct object_id *oid,
|
2016-03-31 12:19:22 +08: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 16:56:59 +08:00
|
|
|
|
2016-09-05 00:08:10 +08:00
|
|
|
int ref_storage_backend_exists(const char *name);
|
|
|
|
|
2018-04-12 08:21:14 +08:00
|
|
|
struct ref_store *get_main_ref_store(struct repository *r);
|
2019-11-18 05:04:46 +08: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 10:42:33 +08: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 18:01:22 +08:00
|
|
|
struct ref_store *get_worktree_ref_store(const struct worktree *wt);
|
2017-03-26 10:42:29 +08:00
|
|
|
|
2005-06-07 04:31:29 +08:00
|
|
|
#endif /* REFS_H */
|