Making Jenkins release always is a hassle, and tidying up git history is no better!