leandrofahur / F21G10_SmartParking

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

CSIS 3175-003 Project

Beware, this is a living document and it will be continuously updated!!! πŸš€


"Documentation is a love letter that you write to your future self." - Damian Conway



🎯 Objectives

This repository comprise an Android Application that exploit several concepts learned in class. The proposed project is a Smart Parking system that provide features such as booking parking spots, payment, cancelation, feedback and others.


βš“οΈ Navigating Throughout The Documentation

The repository contains files with the .md extension. Those files may contain an overview of a feature or even a side note.


πŸ” Requirements

Project specifications and requirements



πŸ— Features List & UI/UX

Users

  • Sign up
  • Sign in
  • Subscription
  • Profile
  • Book parking
  • Cancel booking
  • Invoice
  • Feedback


πŸ‘₯ Contributors


Henrique Barros - 300325470

Leandro Machado - 300326045

Mariana MagalhΓ£es - 300330330


πŸ₯· Github Best Practices

Clone the repository:

$ git clone https://github.com/leandrofahur/F21G10_SmartParking.git

Create your own branch:

$ git checkout -b  <branch_name>

If you are in the main branch, this command will copy the main one and create a new branch named <branch_name>.

Staging, commiting and pushing:

$ git add .
$ git commit -m "a comment describing what this commit is about"
$ git push

If you are pushing for the first time, git will ask you to execute the command

$ git push --set-upstream origin <branch_name>

Where the <branch_name> tag is the name of your local branch that is going to be created on the remote repository.

Always keep things up to date:

$ git pull

If you are pulling for the first time, git will ask you to execute a command similar to the one listed for push.

Wrapping up:

After finishing your work, and the branch is ready to merge with master, execute the following:

$ git checkout master

and then

$ git merge <branch_name>

Delete branch locally

$ git branch -d localBranchName

Delete branch remotely

$ git push origin --delete remoteBranchName

More about can be found in the link on the references section.


πŸ“ References

  1. Android for developers
  2. Github - Configuring branches and merges in your repository

πŸ” License

Copyright Β© 2021 - This project is MIT licensed.

About

License:MIT License


Languages

Language:Java 100.0%