Closed noelmcloughlin closed 1 year ago
This PR cleans git repository when make clean is executed.
make clean
Otherwise our git history keeps growing every time we repeat make clean && make setup.
make clean && make setup
Maybe we are troubleshooting or forgot to edit our schema - so fresh git is best.
Probably not needed.
This PR cleans git repository when
make clean
is executed.Otherwise our git history keeps growing every time we repeat
make clean && make setup
.Maybe we are troubleshooting or forgot to edit our schema - so fresh git is best.