Full threadFred27·Everyone but the OP understands how git works. Removing the file is exactly what I would expect to happen.View on HN