pkg - Adding explanation of github supporting tags
(cherry picked from commit f3a3c64720
)
This commit is contained in:
parent
44b7a12d68
commit
b24c73ebb7
|
@ -153,14 +153,15 @@ is the directory name.}
|
||||||
URLs is:
|
URLs is:
|
||||||
|
|
||||||
@inset{@exec{github://github.com/}@nonterm{user}@exec{/}@nonterm{repository}@;
|
@inset{@exec{github://github.com/}@nonterm{user}@exec{/}@nonterm{repository}@;
|
||||||
@exec{/}@nonterm{branch}@exec{/}@nonterm{optional-subpath}}
|
@exec{/}@nonterm{branch-or-tag}@exec{/}@nonterm{optional-subpath}}
|
||||||
|
|
||||||
For example, @filepath{github://github.com/game/tic-tac-toe/master/}
|
For example, @filepath{github://github.com/game/tic-tac-toe/master/}
|
||||||
is a GitHub package source.
|
is a GitHub package source.
|
||||||
|
|
||||||
The @exec{zip}-formatted archive for the repository (generated by GitHub for
|
The @exec{zip}-formatted archive for the repository (generated by
|
||||||
every branch) is used as a remote URL archive path, except the
|
GitHub for every branch and tag) is used as a remote URL archive path,
|
||||||
@tech{checksum} is the hash identifying the branch.
|
except the @tech{checksum} is the hash identifying the branch (or
|
||||||
|
tag).
|
||||||
|
|
||||||
A package source is inferred to be a GitHub reference when it
|
A package source is inferred to be a GitHub reference when it
|
||||||
starts with @litchar{github://}; a package source that is otherwise
|
starts with @litchar{github://}; a package source that is otherwise
|
||||||
|
|
Loading…
Reference in New Issue
Block a user