Yea, you are right.  but when I remove it the Jenkins task will point to the wrong repro.  So it should be changed just before the merge.

Please enlighten me if there was another (better) way to do this!