Opening a Pull Request
When a branch is ready to be reviewed for integration into the main or
develop branches follow the steps below to open a pull request:
Browse to https://github.com/LLNL/sundials
Click on the branch icon on the left side of screen - you’ll see a list of all available branches
Click on your branch - you’ll see a ‘Compare’ screen that lets you pick a branch (source on top) to merge with another branch (target on bottom)
Select the desired branches and click ‘Create pull request’
Edit the title of the pull request (defaults to branch name), add a description, and select reviewers that can approve the request
Click ‘Create’
The selected reviewers will go over the changes in the pull request and may ask for additional changes before merging the branch. After the pull request is merged, delete the local copy the branch:
$ git checkout PARENT
$ git branch -D <branch-name>
Warning
Almost all pull requests should be issued against the develop branch.
Generally, the only branches we merge to main are special PRs to synchronize
develop and main.