Choose your option:
Create a new topic branch from main
Make sure you are working on the main branch:
Update the main branch to make sure it is aligned with the remote main: Click Pull
:
Create a new branch: click on New branch
and fill in a branch name:
Switch to existing topic branch:
Update the topic branch to make sure is is aligned with the remote main: In the Git shell, type:
git pull origin main
Stage the new file with checkbox and click Commit
Provide clear and understandable message about adaptations
Stage the adaptations with checkbox and click Commit
Provide clear and understandable message about adaptations
Update the remote version of the topic branch. Click Push
:
Update the remote version of the topic branch. Click Push
:
Go to your repo on Github.com and click the Compare & pull request
button.
Add information about the Pull request, add reviewers, labels,… Finally, Create pull request
:
You and collaborators can make comments about the edits, review the code and adapt if required (create additional commits and Push
them to GitHub) .
If everything is ok, click the Merge pull request
:
followed by Confirm merge
:
Delete the online branch after merge, since obsolete, click Delete branch
Make sure you are working on the main branch:
Remove the local branch, since obsolete. In the Git shell, type:
git branch -d analysis-script
Update the local main branch: Click Pull
: