I'd just remove these lines since they're tracked in git anyway.