what is the proper way to remove a file from a git repository? I mean the file is already in the repository in the main branch.
Should I cd
into the directory and use git rm filename
? or just rm filename
straight?
$ cd myproject
$ git rm filename
$ git add .
$ git commit -m "filename has been removed"
$ git push