No description
Find a file
2026-10-12 03:00:01 +02:00
lab1 Initial commit 2026-10-12 03:00:01 +02:00
README.md Initial commit 2026-10-12 03:00:01 +02:00

Software Engineering Labs 202X/202X

YOUR STUDY PROGRAM HERE

Author: YOUR FULL NAME HERE

Setup

  • Clone your copy of the repo to /student/se-labs/ on D:\ disk
  • After cloning the repo, always make sure that git knows who you are. If you are using this repo in the labs, each time run:
git config user.name "YOUR_NAME_OR_NICK"
git config user.email "YOUR_EMAIL@ADDRESS.com"
  • Commit the README.md file to the repo with your name and push to origin/master
  • Add user @hleventic with a Reporter role and no expiration date

Setdown

  • Commit and push everything to your repo
  • Delete this directory with:
rm -rf /path/to/your/directory  

or delete the repo directory using a File Explorer

Add additional materials to your repo

Pulling the changes from this repo to your copy of the repo:

git remote add upstream https://git.levara.dev/hleventic/se-labs-2627-sr.git
git fetch upstream master
git merge upstream/master

The first line will add the original repo as additional remote repository to your project. origin will still be your primary remote repository. This additional repository will be called upstream.

Second line will fetch the changes from the upstream repo which will be saved to branch upstream/master.

Third line will merge the changes from your original repo to the master branch on your computer. All the changes should be added without conflicts or collisions. The changes will be merged to your local repository on your computer.

The last line will probably open the nano editor to change the commit message for the merge. If that happens exit the editor with ctrl + X and save the changes to the file ( ctrl + x -> y to save changes -> enter to confirm the suggested filename).

Pushing the changes to your gitlab repo

To push the changes to your gitlab repository run:

git push origin master

After running this command all the changes imported from the original repository to your local copy of the repository should be visible on your project's gitlab page.

Help, tips and tricks

This document will be updated with help files, tips and tricks.