I think we should include `dist/` in .gitignore file because it can be generated again locally and should not be pushed to remote.