Github should no longer care about generated files now