One of the ways to protect information is by limiting what people can see and do with your information and resources. The principle of least privilege says to allow the minimum number of privileges necessary to accomplish the task.
Writing code alone is no fun. Collaborative features of Github are integrated in to all aspects of a code repository. For example, Github allows anyone to make a copy of a public repository for their own use. It also allows discussions to support code reviews, bug reports, and code contributions.
You might have heard or seen the phrase “Fork me on Github”. Let’s start with exploring this feature.
Now we will learn about forking a repository. This is as easy as pie. But what is a fork and what do you use it for?
Here is what Github says:
A fork is a copy of a repository. Forking a repository allows you to freely experiment with changes without affecting the original project.
Most commonly, forks are used to either propose changes to someone else’s project or to use someone else’s project as a starting point for your own idea.
Every public repository can be forked
So head-on over to a hello-world repository developed by one of your peers. You can do this by browsing to the
git URL of your peer’s hello-world repository in your browser.
You should see something like this on your peer’s repository:
After forking, you will have your own copy of your peer’s repository to work on. You may
clone this repository to your local computer, make changes to files and then
push it back to this forked remote repository. Since you own the forked copy, you do not need permission from the original repository owner.
Forking a repository is a good way to suggest new features to the original repository that you do not own, using a
pull request. Let’s do this in the next step.
In this step, make changes to the fork of your peers’ repository on
Github.com and create a
Let’s assume that a
gencyber (insert your ID here) user forks
robinagandhi/hello-world repository (this will be your peer’s repository).
The forked repository for the
gencyber user will look like this:
gencyber user now makes changes to the README.md file in this forked repository. She is also the owner of this new
Now to suggest these changes to the
robinagandhi user; the
gencyber user needs to create a
pull request. So the
gencyber user switches over to the
Pull Request tab on the forked repository and clicks the new pull request button. It will look something like this:
Here is an open pull request that compares the master branches across the two repositories.
robinagandhi user is now notified of a
pull request on his hello-world repository. He examines the suggested changes, and in this case, the files can be automatically merged.
In cases where files cannot be merged automatically, discussions around the pull request can help to resolve the conflicts manually. In this case that won’t be necessary. With a few more simple clicks the changes are
merged. Your peer will see something like this to confirm the merge:
Here is a confirmation message after a successful
The updated content is now reflected in the peer’s repository. It will be something like this:
Now return the favor to your peer. Help them
fork your hello-world repository and make a
pull request back to you.
A collaborator may not accept your pull request on the first attempt. She may suggest changes. In that case, you may continue to make commits to the branch referenced in your pull request. Github conveniently tracks previous commits, new commits, and discussions along with the pending pull request.
With your peer try going back and forth on your pull request to experience this feature.
And that is one way you can collaborate using
To communicate and write on Github, it is useful to learn
Markdown and its
Github Flavor Variants. You may explore this simple format here: https://guides.github.com/features/mastering-markdown/
You can try out the syntax on directly on Github in any file that ends in the extension
.md. Files with the
.md extension signify Markdown files. So head on over to your hello-world repository on Github and edit the README.md file. In the edit mode, you can observe the effect of Markdown syntax by clicking on the Preview tab.
In the figure below, When in the preview mode, notice the formatting effect of
# before text related to a heading.
Explore functional uses of Markdown on Github here: https://help.github.com/categories/writing-on-github/
You are now ready to explore the wonderful world of open source on Github. Enjoy and make your own contributions!
We practice what we preach. Our whole camp has been developed on GitHub using markdown, for your viewing pleasure and for you to take home with you. Now that you are a Github/git guru, you may as well fork all of the camp content so that you can extend the content as you wish. But don’t forget to tell us about it. We love seeing your work!
Go to the Github page for the camp modules and click fork. Boom, just like that you have your very own copy of all the modules. Use with attribution, share widely!
On Github, only the
owner of a remote repository can push commits to it. All other
Github users have the limited privilege to make a pull request. The repository owner reviews pull requests and initiates a merge action. The owner may reject pull requests if they do not seem appropriate. A
collaborator can push commits, but cannot delete a repository or add other collaborators. These constraints show the concept of least privilege with GitHub user roles. Users should have no more privilege than what is required for their job.
Lesson content: Copyright (C) Robin Gandhi 2017-2018.
This lesson is licensed by the author under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.