What’s wrong with using Jenkins to push database changes?