Github is a powerful tool for software engineers to collaborate and perform version control. This document will teach students how to make a pull request using Github.
Unit tests are implemented ubiquitously. However, new use cases have the possibility of breaking certain utilities. If you have suggestions for improvement or find something that doesn't work as intended, please open a new ticket in the issue tracker.
If you have already implemented suggested improvements or made fixes to encountered bugs, please contribute your code by pushing a pull request (PR) to the respository. One of the developers will review your code, suggest feedback and merge it into the codebase if possible. See below on how to open a new PR.
The best way to improve and expand a Github libary is to push PRs to the repository which will be checked and merged by one of our developers. GitHub allows you to make minor source code changes and push a PR directly from your browser and without additional software. The online Introduction to Github demonstrates how to do this. For more complex code changes, please fork the codebase and push a new branch to the libary respository. This can either be done on the command line interface (CLI) by experienced developers or on the [desktop Github application]. Only the latter is outlined below.
The following steps outline how to push a new PR toa Github libary repository for review and approval. Your system will require the desktop Github application to be installed on your machine and a consistent internet connection.
- Fork a libary repository from your browser while logged into your Github account.
- Give the forked repository a name and description and click
Create fork
in your browser. - Copy the link from the forked repository and clone that repository to your desktop application
-
In the Github desktop application, select the forked repository under the
Current repository
dropdown menu to perform a local checkout. -
In the desktop application, select
New branch
under theCurrent branch
dropdown menu. -
Give your branch an appropriate name and click
Create branch
.
- Code your Example.py and save it into your local
Training
folder. Open your Github desktop application, commit your code to your branch while providing an appropriate description. - In the desktop application, select
Publish branch
to push your new code to your online repository
- In your browser, find the branch you just uploaded and select
Compare & pull request
to start a new PR. - Enter a PR title and detailed description. Provide motivation, any references and results. Select
Create pull request
to initiate the continuous integration (CI) pipeline.
[1] This was modified from Astris Aerospace Inc. CONTRIBUTION.md document in the ACSToolbox project.