Using the CS Dept Gitlab

Steven J. Zeil

Last modified: Jul 26, 2016
Contents:

The CS Dept runs its own Gitlab source repository for anyone with a CS network account. Gitlab allows you to manage projects, usually programming projects, but it could be almost any collection of related files. This website, for example, is maintained on the Dept Gitlab.

Gitlab offers

1 Establishing Your Account

You will find the CS Gitlab at https://git-community.cs.odu.edu.

 

At the login screen, select the “LDAP” sign in and enter your CS network login credentials. If this is your first time on the Gitlab, a new account will be created for you.

You’ll now be taken to a list of projects that you own or are a member of. Of course, right now, that list will probably be empty.

You can use the “Explore Projects” link to look at some other projects that people have established on the system. Eventually you may want to create a project of your own, join an existing project, or download a copy of a project without joining it.

Before you can do any of that, however, you have to establish some credentials with the system.

  1. Set up an ssh key pair to identify yourself to the system.

     

  2. Near the bottom of the left column in Gitlab, select Profile Settings to edit your account settings.

  3. Look for and click the small key in that left column on the Profile Settings page.

     

  4. In the Key area, paste the public half of your key pair.

    Add a descriptive note in the title to remind yourself which key pair you have created to use with this GitLab.

    Click the Add Key button.

  5. When working with git you will need to supply the private key to actually upload anything to a project repository. You may need to do so to download things as well, depending on the project’s own settings.

    • If you are working with git at the command line, you would generally add that private key to an SSH agent before issuing any git commands.

    • If you are working with git via a GUI, you will probably register or supply that private key with the GUI before interacting with the git repository.

2 Creating or Joining a Project

3 A Few Words About git