- If you haven't already, create an account on GitLab with username as your 12 character BITS ID. Example -
2015A7PS001G. Provide username in capital letters only.
- Create a private repo with the name being exactly the same as the lab name on the Main server. Example -
- Open a terminal and type the following commands
git config --global user.name "rohit"
git config --global user.email "2015A7PS001G@localhost"
export GIT_SSL_NO_VERIFY=1 in terminal.
- Clone this repo to your machine.
git clone https://autolab.bits-goa.ac.in/2015A7PS001G/lab1.git
- Download skeleton code (if any) and lab question by cloning this repo - lab_author/lab_source/
git clone https://autolab.bits-goa.ac.in/lab_author/lab_source.git
- Move/copy the skeleton code of lab1 (if any) to your repo.
- Stage and commit the latest files to local repository.
git add *
git commit -m 'code commit message'
- Push the code to the GitLab server.
git push -u origin master
- Go to the Main server(https://autolab.bits-goa.ac.in:9000) and click on submit for lab1.
- Enter you 12 character BITS ID and commit hash (optional). Commit hash is to evaluate any particular commit you made in the past or if you are working on a branch other than
master. If you want to evaluate your latest commit on master - leave this field blank.
- Click submit.
- Debug and repeat, if necessary!
Setup git - GitHub, SSH
Caching passwords - why passwords?, cache
reset commits - reset on a branch
managing multiple remotes - GitHub