diff options
author | Richard Maw <richard.maw@gmail.com> | 2017-01-08 14:42:44 +0000 |
---|---|---|
committer | Richard Maw <richard.maw@gmail.com> | 2017-01-08 14:42:44 +0000 |
commit | 17284b8e42da5a359f06dd4b56488914a008c1c4 (patch) | |
tree | 504010b5b81f2bba0c2b2f6f2e6323b3daf1ef7d /doc | |
parent | 918dd0a2df31fac1184e106b5ec9bec4eb91018a (diff) | |
download | gitano-17284b8e42da5a359f06dd4b56488914a008c1c4.tar.gz |
admin-doc: Describe predicates about ref update types
Diffstat (limited to 'doc')
-rw-r--r-- | doc/admin/000.mdwn | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/doc/admin/000.mdwn b/doc/admin/000.mdwn index 003b6ee..e84c7e6 100644 --- a/doc/admin/000.mdwn +++ b/doc/admin/000.mdwn @@ -266,6 +266,16 @@ Table: Gitano predicates `treediff/renamedto` any of the file names of destinations of a rename `treediff/kind/$FILE` The type of object of a file named $FILE in the new version of the tree. `treediff/oldkind/$FILE` The type of object of a file named $FILE in the old version of the tree. +`newtype` Object type of the new tip of the ref (e.g. "tag" or "commit"). +`oldtype` Object type of the tip of the ref before the update. +`newsha` SHA1 Object ID of the new tip of the ref +`oldsha` SHA1 Object ID of the tip of the ref before the update. +`newtaggedtype` If new tip of the ref is a tag, type of the object that is tagged. +`oldtaggedtype` If old tip of the ref is a tag, type of the object that is tagged. +`newtaggedsha` If new tip of the ref is a tag, object ID of the object that is tagged. +`oldtaggedsha` If old tip of the ref is a tag, object ID of the object that is tagged. +`newsigned` "yes" if the new tip of the ref is signed +`oldsigned` "yes" if the old tip of the ref is signed `config/*` Value of the config option with "/" converted to ".". `as_user` username of user invoking `as otheruser` `as_group` any of the groups of user invoking `as otheruser` |