https://medium.com/@clarkbw/managing-generated-files-in-github-1f1989c09dfd To make merging/PRs easier.