pull request (Q68712963)
Jump to navigation
Jump to search
request to merge a code branch into another; feature available at source code repository hosts such as GitHub or Gitlab
- merge request
- PR
Language | Label | Description | Also known as |
---|---|---|---|
English | pull request |
request to merge a code branch into another; feature available at source code repository hosts such as GitHub or Gitlab |
|
Statements
Identifiers
Sitelinks
Wikipedia(1 entry)
- dewiki Pull Request