Managing Projects with Git

Accessing your group database and GitHub repository

Shared Database

Every group has a database owned by the group

In your scripts, remember to change the owner:

• CREATE TABLE person (pid integer, name text);
• person is owned by the current user
• only the owner can access the table
• ALTER TABLE person OWNER TO group_name;
• person is now owned by the entire group
• anyone in the group can access the table

Make sure you can access your group’s database

What is Git/GitHub?

Git is a version control system

GitHub is a social network

​

General tutorials:

• https://docs.github.com/en
• https://www.w3schools.com/git/

Cheat sheet:

• https://education.github.com/git-cheat-sheet-education.pdf

Workflow (simplified)

1. Clone your repository (one-time setup)
• git clone https://github.com/cs374/teamname.git
2. Make any changes to the files
• Using your favorite editors, dev tools, etc.
3. Add new files, commit changes
• git add newfile.txt
• git commit -m "this is what I changed"
4. Pull changes from team members
• git pull
5. Push your changes to GitHub
• git push

Using Git in VS Code

Tutorial: https://code.visualstudio.com/docs/sourcecontrol/overview

Before you leave today, clone your team’s repository (using the url)