diff options
| -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` |