github vocabulary
Factor handbook » Vocabulary index

Summary

Metadata

Tags:

cloud

Words

Symbol words

github-token

github-username

Ordinary words

Word	Stack effect
>github-url	( str -- url )
?github-api	( str -- str' )
check-enabled-vulnerability-alerts	( owner repo -- json )
create-fork	( json owner repo -- res )
create-issue	( json owner repo -- json )
create-issue-comment-by-id	( json owner repo issue-number -- json )
delete-issue-comment-by-id	( owner repo comment-id -- json )
disable-vulnerability-alerts	( owner repo -- json )
enable-vulnerability-alerts	( owner repo -- json )
find-private-repos	( seq -- seq' )
find-public-repos	( seq -- seq' )
find-repos-by-name	( seq quot: ( name -- ? ) -- seq' )
find-repos-by-visibility	( seq quot: ( name -- ? ) -- seq' )
get-branch	( owner repo branch -- json )
get-branches	( owner repo -- json )
get-code-of-conduct	( key -- seq )
get-codes-of-conduct	( -- seq )
get-empty-labels	( owner repo -- seq )
get-files-from-sha	( owner repo sha files -- seq )
get-forks	( owner repo -- seq )
get-issue	( owner repo n -- json )
get-issues-by-all-labels	( owner repo -- seq )
get-issues-by-label	( owner repo -- seq )
get-issues-for-label	( owner repo label -- seq )
get-issues-with-no-labels	( owner repo -- seq )
get-label-names	( owner repo -- seq )
get-labels	( owner repo -- seq )
get-my-issues	( -- json )
get-my-org-issues	( org -- json )
get-open-pull-requests	( owner repo -- seq )
get-org-repositories	( org -- seq )
get-pull-request	( owner repo n -- seq )
get-pull-request-files	( owner repo pr-number -- seq )
get-pull-request-files-old-new	( owner repo pr-number -- pr pr-files old new )
get-pull-requests	( owner repo -- seq )
get-repositories	( org/user -- seq )
get-repositories-for-type	( type org/user -- seq )
get-user	( user -- json )
get-user-repositories	( user -- seq )
get-users	( users -- seq )
get-users-page	( page -- seq )
github-code-search	( query -- seq )
github-delete	( url -- json )
github-delete*	( url -- )
github-factor-code-search	( query -- seq )
github-file-contents	( owner repo path -- contents )
github-file-meta-and-contents	( owner repo path -- meta contents )
github-get	( url -- json )
github-get*	( url -- response data )
github-get-json	( url -- json )
github-get-success?	( url -- ? )
github-git-clone	( org/user project -- process )
github-git-clone-as	( org/user project name -- process )
github-git-uri	( org/user project -- uri )
github-http-uri	( org/user project -- uri )
github-https-uri	( org/user project -- uri )
github-mirror-path	( org/user -- path )
github-org-or-user	( org/user -- orgs/users )
github-patch	( data url -- json )
github-post	( data url -- json )
github-put	( data url -- json )
github-put-payload-success?	( data url -- json )
github-put-success?	( url -- json )
github-sha-file-contents	( owner repo sha path -- contents )
github-sha-file-meta-and-contents	( owner repo sha path -- meta/f contents/f )
github-sha-files-for-path	( owner repo sha path -- files )
github-sha-files-recursive	( owner repo sha -- files )
github-sha-files-recursive-for-path	( owner repo sha path/f -- files )
github-ssh-clone	( org/user project -- process )
github-ssh-clone-as	( org/user project name -- process )
github-ssh-uri	( org/user project -- uri )
list-all-stargazers	( owner repo -- json )
list-commits-pull-request	( owner repo n -- res )
list-files-pull-request	( owner repo n -- res )
list-gists-for-user	( user -- json )
list-issue-comment-by-id	( owner repo comment-id -- json )
list-issue-comments	( owner repo -- json )
list-issue-comments-by-id	( owner repo comment-id -- json )
list-issues-for-repository	( owner repo -- seq )
list-my-starred-projects	( -- json )
list-organization-members	( org -- json )
list-pull-requests-for-repository	( owner repo -- json )
list-repositories-for-authenticated-user	( -- json )
list-repositories-starred-by-user	( user -- json )
list-repository-branches-matching	( owner repo ref -- seq )
list-repository-collaborators	( owner repo -- json )
list-repository-languages	( owner repo -- seq )
list-repository-tags	( owner repo -- seq )
list-repository-tags-all	( owner repo -- seq )
list-repository-tags-matching	( owner repo ref -- seq )
list-repository-teams	( owner repo -- seq )
list-repository-topics	( owner repo -- seq )
list-teams-for-organization	( org -- seq )
lock-issue	( json owner repo n -- json )
map-github-pages	( base-url params param-string -- seq )
map-github-pages-100	( base-url -- seq )
map-github-pages-100-json	( base-url -- seq )
map-github-pages-json	( base-url params param-string -- jsonlines )
merge-pull-request	( assoc owner repo n -- res )
mirror-github-org	( org/user -- )
mirror-starred-repos	( path/f -- )
post-pull-request	( assoc owner repo -- res )
post-rename-branch	( owner repo branch new-name -- json )
pull-request-merged?	( owner repo n -- res )
set-repository-topics	( assoc owner repo -- json )
single-repository-starred?	( owner repo -- ? )
sort-repos-by-created-at<=>	( seq -- seq' )
sort-repos-by-created-at>=<	( seq -- seq' )
sort-repos-by-pushed-at<=>	( seq -- seq' )
sort-repos-by-pushed-at>=<	( seq -- seq' )
sort-repos-by-time	( seq name quot: ( obj1 obj2 -- <=> ) -- seq' )
sort-repos-by-updated-at<=>	( seq -- seq' )
sort-repos-by-updated-at>=<	( seq -- seq' )
star-repository	( owner repo -- )
sync-github-org-or-user	( directory name -- )
unlock-issue	( owner repo n -- json )
unstar-repository	( owner repo -- )
update-branch-pull-request	( assoc owner repo n -- res )
update-issue	( json owner repo n -- json )
update-issue-comment-by-id	( json owner repo comment-id -- json )
update-pull-request	( assoc owner repo n -- res )
user-issues	( -- json )

Files

resource:extra/github/github.factor

Metadata files

resource:extra/github/tags.txt