This is fine, but I just wonder if we should decide on whether to put stuff like this into the project repo or leave it on your personal machine?