Tobias Henkel 232b47fbf7 Fix occasionally wrong change url with github ... Github returns different urls for pull requests. One for api use and one for browser use. The change url we're interested in is the one for browser usage. However zuul takes the wrong one from the pull request data structure but most of the time overwrites the change url generated from event metadata. This leads to the issue that the change url is sometimes not correct. This can be fixed by taking the html_url from the pull request data structure. Further due to the fact that the url is always set on a pr and stays static throughout the whole lifecycle of the pr, be safe and just don't overwrite the url from event metadata. Change-Id: I2030b9dddd5bc618231b73d73ae64e2552231769		2020-01-14 10:24:53 +01:00
..
git	Fix occasionally wrong change url with github	2020-01-14 10:24:53 +01:00
main.yaml	Fix occasionally wrong change url with github	2020-01-14 10:24:53 +01:00