Improve git fetch behaviour in pipeline
The cloning of the repository takes quite long as the history is large. In almost none of the jobs do we actually require the history (except for the release notes), so we can set the fetch depth to 1, speeding up the clone.