| commit | 94fa8bfccf5aaed0f216db3ebc06776d65ced668 | [log] [tgz] |
|---|---|---|
| author | Adam Gandelman <adamg@ubuntu.com> | Wed Jun 21 16:25:12 2017 -0700 |
| committer | Adam Gandelman <adamg@ubuntu.com> | Wed Jun 21 16:31:51 2017 -0700 |
| tree | b5e4e184a053c184ba319504bee9c801295ad827 | |
| parent | a7cf5c518ada2fdc176eaa04ab85344beaa04daf [diff] |
Fix parsing of github PR url We parse the owner, project and PR number of a github PR out of the PR URL. When using github enterprise, the path preceding $org/$repo/pulls/$number in the URL may contain some extra stuff which breaks the parsing here. This fixes the parsing to parse that info from the end of the string regardless. Change-Id: Ifdf03e8aa399bf6e56ff8711c22e03c1584649df