Glossaria.net

Glossary GitHub / Term

merge

Merging takes the changes from one branch (in the same repository or from a fork), and applies them into another. This often happens as a "pull request" (which can be thought of as a request to merge), or via the command line. A merge can be done through a pull request via the GitHub.com web interface if there are no conflicting changes, or can always be done via the command line.

Permanent link merge - Creation date 2023-08-02


< mention Glossary / GitHub merge conflict >