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?