github vocabulary
Factor handbook ยป Vocabulary index


Summary

Metadata
Tags:cloud


Words

Symbol words
github-token
github-username


Ordinary words
WordStack 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( post-data url -- json )
github-post( post-data url -- json )
github-put( post-data url -- json )
github-put-payload-success?( post-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


Metadata files