Github tricks

While using github there are so many places we stumble. For example, if you deleted some files external to git and then when you commit the deleted files don't show up. So, it is advisable to use `git rm filename` from git.

If you get the message "Cannot push to Github-keeps saying need merge" or similar to stackoverflow post, then use the following code

git push -f origin