Registry GitHub Pull Request

Suggest

A pull request in any public repository on GitHub.

Prefix: github.pull
Keywords: knowledge and information systems project management software engineering version control
Links: Homepage

Identifier Standards

Pattern for Local Unique Identifiers: Missing LUI pattern
Example Local Unique Identifier: biopragmatics/bioregistry/416 Resolve
Example CURIE: github.pull:biopragmatics/bioregistry/416

Contacts

Contact: Missing Contact
Contributors: submitter Charles Tapley Hoyt 0000-0003-4423-4370 cthoyt

Providers

Suggest

A provider turns a local unique identifiers from a resource into a URI. Many providers are also resolvable as URLs (i.e., they can be used in a web browser).

The local unique identifier biopragmatics/bioregistry/416 is used to demonstrate the providers available for GitHub Pull Request. Some providers may use a different example, which is displayed in the table below. A guide for curating additional providers can be found here.

Name	Metaprefix	URI
GitHub Pull Request	`github.pull`	https://bioregistry.io/resolve/github/pull/biopragmatics/bioregistry/416
Bioregistry	`bioregistry`	https://bioregistry.io/github.pull:biopragmatics/bioregistry/416

This name annotation was originally annotated in Bioregistry and is redistributed under the CC0 license.

Get the name:

>>> import bioregistry as br
>>> br.get_name("github.pull")
'GitHub Pull Request'

Get the homepage:

>>> import bioregistry as br
>>> br.get_homepage("github.pull")
'https://github.com/'