Sign In Start Free Trial
Account

Add to playlist

Create a Playlist

Modal Close icon
You need to login to use this feature.
  • GitHub Essentials
  • Toc
  • feedback
GitHub Essentials

GitHub Essentials

By : Achilleas Pipinellis
3 (2)
close
GitHub Essentials

GitHub Essentials

3 (2)
By: Achilleas Pipinellis

Overview of this book

Whether you are an experienced developer or a novice, learning to work with Version Control Systems is a must in the software development world. Git is the most popular tool for that purpose, and GitHub was built around it, leveraging its powers by bringing it to the web. Starting with the basics of creating a repository, you will then learn how to manage the issue tracker, the place where discussions about your project take place. Continuing our journey, we will explore how to use the wiki and write rich documentation that will accompany your project. You will also master organization/team management and some of the features that made GitHub so well known, including pull requests. Next, we will focus on creating simple web pages hosted on GitHub and lastly, we will explore the settings that are configurable for a user and a repository.
Table of Contents (8 chapters)
close

Repository settings

There are quite a few settings one can fiddle with at the repository level. To access these settings, search for the wrench icon:

Changing the default branch that appears in a repository's main page

The default branch of a repository's main page is master. However, there are times when you want a different branch to be your default, based on one's workflow, as we saw in Chapter 4, Collaboration Using the GitHub Workflow.

Let's just say, for example, that the master branch is where you push code that is considered stable and well-tested, whereas you have a different branch named develop that is used for daily pushes and testing new features. Based on this assumption, the develop branch...

bookmark search playlist font-size

Change the font size

margin-width

Change margin width

day-mode

Change background colour

Close icon Search
Country selected

Close icon Your notes and bookmarks

Delete Bookmark

Modal Close icon
Are you sure you want to delete it?
Cancel
Yes, Delete