GitHub.Endpoints.Users.PublicSSHKeys

The public keys API, as described at https://developer.github.com/v3/users/keys/

Querying public SSH keys

publicSSHKeysR :: Request 'RA (Vector PublicSSHKey)

Querying the authenticated users' public SSH keys See https://developer.github.com/v3/users/keys/#list-your-public-keys

publicSSHKeysForR :: Name Owner -> FetchCount -> Request 'RO (Vector PublicSSHKeyBasic)

Querying public SSH keys. See https://developer.github.com/v3/users/keys/#list-public-keys-for-a-user

publicSSHKeyR :: Id PublicSSHKey -> Request 'RA PublicSSHKey

Querying a public SSH key. See https://developer.github.com/v3/users/keys/#get-a-single-public-key

Create

createUserPublicSSHKeyR :: NewPublicSSHKey -> Request 'RW PublicSSHKey

Create a public SSH key. See https://developer.github.com/v3/users/keys/#create-a-public-key.

Delete

deleteUserPublicSSHKeyR :: Id PublicSSHKey -> GenRequest 'MtUnit 'RW ()

Delete a public SSH key. See https://developer.github.com/v3/users/keys/#delete-a-public-key