GitHub.Endpoints.Repos

The Github Repos API, as documented at http://developer.github.com/v3/repos/

Querying repositories

currentUserReposR :: RepoPublicity -> FetchCount -> Request k (Vector Repo)

List your repositories. See https://docs.github.com/en/rest/reference/repos#list-repositories-for-the-authenticated-user

userReposR :: Name Owner -> RepoPublicity -> FetchCount -> Request k (Vector Repo)

List user repositories. See https://docs.github.com/en/rest/reference/repos#list-repositories-for-a-user

organizationReposR :: Name Organization -> RepoPublicity -> FetchCount -> Request k (Vector Repo)

List organization repositories. See https://docs.github.com/en/rest/reference/repos#list-organization-repositories

repositoryR :: Name Owner -> Name Repo -> Request k Repo

Query single repository. See https://developer.github.com/v3/repos/#get

contributorsR

Arguments

:: Name Owner

-> Name Repo

-> Bool

Include anonymous

-> FetchCount

-> Request k (Vector Contributor)

List contributors. See https://developer.github.com/v3/repos/#list-contributors

languagesForR :: Name Owner -> Name Repo -> Request k Languages

List languages. See https://developer.github.com/v3/repos/#list-languages

tagsForR :: Name Owner -> Name Repo -> FetchCount -> Request k (Vector Tag)

List tags. See https://developer.github.com/v3/repos/#list-tags

branchesForR :: Name Owner -> Name Repo -> FetchCount -> Request k (Vector Branch)

List branches. See https://developer.github.com/v3/repos/#list-branches

Create

createRepoR :: NewRepo -> Request 'RW Repo

Create a new repository. See https://developer.github.com/v3/repos/#create

createOrganizationRepoR :: Name Organization -> NewRepo -> Request 'RW Repo

Create a new repository for an organization. See https://developer.github.com/v3/repos/#create

forkExistingRepoR :: Name Owner -> Name Repo -> Maybe (Name Owner) -> Request 'RW Repo

Fork an existing repository. See https://developer.github.com/v3/repos/forks/#create-a-fork TODO: The third paramater (an optional Organisation) is not used yet.

Edit

editRepoR :: Name Owner -> Name Repo -> EditRepo -> Request 'RW Repo

Edit an existing repository. See https://developer.github.com/v3/repos/#edit

Delete

deleteRepoR :: Name Owner -> Name Repo -> GenRequest 'MtUnit 'RW ()

Delete a repository,. See https://developer.github.com/v3/repos/#delete-a-repository

Data

module GitHub.Data