Git & GitHub

to delete a file from your local workspace you use :

• git delete .

• git rm --cashed ex.type

• git rm ex.type

Difference between "git rm" and "git rm --cashed"

In git, the files are pushed then staged

• yes

• no

Configuration of git (udername & email) is done each time you want to use git

• yes

• no

Forking a GitHub project enables you to :

• Select a project you want to delete

• make a project public

• download a project on your local workspace

pull requests, have have two choices : either grant permission to merge or to reject

• yes

• no