References, how tos and tutorials to git

General Tutorials

• Free Git Pro book https://git-scm.com/book/en/v2
• Guides on GitHub https://guides.github.com/
• Interactive tutorial https://learngitbranching.js.org/

Forks and Pull Requests

Sync a user specific fork

• Sync a fork with the original (upstream) ModelicaStandardLibrary https://gist.github.com/Chaser324/ce0505fbed06b947d962
• Create a local branch, switch to the branch, apply changes. At your fork (assuming that you have the GitHub username <user>) push the branch to the fork only. Two possible options are:
  • Direct application git push --repo=https://github.com/<user>/ModelicaStandardLibrary.git
  • Apply the abbreviation msl to your local fork: git remote add msl https://github.com/<user>/ModelicaStandardLibrary.git then push using the abbreviation git push -u msl

Code snippet

• Create a permanent link to a code snippet

Pull requests

• Commenting on a pull request