The git commit you linked would have required the committer to explicitly remove the `AUTHORS` file from the code-base. If a file is already being tracked, it won’t stop being tracked if a corresponding pattern is added to `.gitignore`. Removing the file in this way was most likely intentional and not erroneous.