I was looking for a file in GitHub repo, but didn’t manage to find it. How to check if a file was in a repository and/or when it was removed?

The below command shows the whole file history (even when a file has already been removed):

git log -- [file path]

The below one shows a commit which removed a file:

git log -1 -- [file_path]