Using GitHub Source Control with TKP Students
Code source control systems provide an easy way to store all versions of all of your code files for all time. This capability is vital for modern software development as software is emergent. The most commonly used source control system is GitHub. This is a public website that offers free storage for public code files. It provides an interface around the git source control system.
- Source Code Files - these are your code files, for TKPJava, for example 'SimpleSquare.java'
- IDE / Code Editor - this is where you write your code, we use Eclipse or Codenvy
- Open Source Code Files - if you copy your code files to a public open source system (website such as GitHub), this is called OSS development.
- Source Control Systems - rather than using a file system, source control systems allow you to store, see and revert to any version of any line of all stored code files. These systems commonly have both a local source control client application and also connect to a remote server, so there are two copies of all code files.
- Repository - container, like a local drive or folder that holds all of the code files and any other files need for your project, other files can be images, text files, etc.... Repos can also contain child folders.
- GitHub - a popular open source control system and a public website. It hosts public code repositories and is free. NOTE: GitHub also has a commercial offering, which allows clients to have private code repositories.
- GitHub Desktop- We use the free, standalone desktop application GitHub Desktop (rather than integration to git via an IDE) to connect our local repos to their GitHub counterparts.
Steps in Getting Started
Because learning version control systems is a somewhat daunting task, even for professional developers, we at TKP have decided to take the 'minimum viable source control' approach to guide teachers in getting starting using GitHub with their TKPJava students.
GitHub QuickStart For TKP Teachers
The goal for this step-by-step guide is TKP teacher preparation to teach the TKP lesson for students ‘Intro to GitHub’:
- Create a folder on your local machine for your own example repository (repo).
- Navigate to the root C: drive, or an alternate location, i.e. ‘Downloads’ folder if you can't access C:
- Make a new folder named ‘hello-world’ in the that location
- Register for a free account on GitHub.com
- Note your credentials, you’ll need them for the next step
- Leave GitHub.com open for use in subsequent steps of this guide
- Download & Install the free GitHub Desktop tool for your OS (i.e. Win or OSX).
Setup instructions below are for first-time use for ‘GitHub Desktop for Windows’
- In the ‘Welcome’ dialog box
- Log in with your Github.com Username and Password
- Configure git by entering your email and click ‘Continue’
- Repositories - you will see ‘No local repositories found’
- Click on ‘Dashboard’ to go on
- In the GitHub Desktop Dashboard
- Delete the default ‘Tutorial’ Repo by right-clicking->remove
- Add our ‘hello-world’ folder as a new local GitHub Repo
- Click on the big ‘+’ (plus) sign in the upper-left corner of the Dashboard
- Click on ‘Add’.
- Click on ‘Browse’ (or 'Choose' if using a Mac) and then navigate to the ‘hello-world’ folder. Mine is on my C drive but you may need to click ‘This PC’ in order to be able to see the C: drive. My final path is: C:\hello-world
- Click on the blue words, ‘C**reate & Add Repository’** and then click on ‘**Create Repository**’
- See your ‘hello-world’ folder appear on the left column as a git repository, but, right now it only exists locally (on your computer). This is indicated by the little icon to the left of the words ‘hello-world’ appearing as a computer monitor. We want to sync our local repo with a remote version (copy) of itself in the GitHub.com cloud. To create a remote repo on GitHub.com we need to ‘Publish’ our local ‘hello-world’ Repo.
- Verify that ‘hello-world’ is not yet created remotely in your GitHub.com account, go to your GitHub.com account and look to see if you notice a repository there named ‘hello-world’. You will not see it there yet.
- Click on the dark ‘Publish’ button on the upper-right side of the Dashboard. NOTE: if you are prompted to Log in to GitHub, enter your GitHub.com credentials
- Add a ‘Description’. Type something like, ‘trying my first GitHub repo’. NOTE: Do use human-readable check in comments.
- Click ‘Publish hello-world’. GitHub Desktop syncs your local Repo to a newly created ‘hello-world’ repo and changes the Dashboard icon from a monitor to a little book with a bookmark icon when the sync is done
- Refresh your online GitHub.com account page in your browser
- Verify that you can now see your remote ‘hello-world’ Repo in your online GitHub.com account. If you don’t, go back to GitHub Desktop Dashboard and notice that the ‘Publish’ button has changed to say ‘Sync’. Go ahead and click ‘Sync’. Now you should see the Repo on GitHub.com.
- Congratulations!You’ve just created your first GitHub repository with a both a local and remote copy! We’re going to be using GitHub to get our students code up into the GitHub.com cloud as well. That’s the next step.
- In the ‘Welcome’ dialog box
TIPS & NOTES
- GitHub requires that students are [13 years old]((https://help.github.com/articles/github-terms-of-service/) or older to use their service
Students need 'install' permissions (usually administrator) on their computer to install GitHub Desktop
Best Practices and More Information and Links:
Contribute to open source projects on GitHub
GitHub includes many other concepts, including making distributed copies via forking and branching. These concepts are often used by professional software developer teams. For a concise explanation - see this link.
Happy OSS Programming!
The TKP Team