Why is this file checked into git?