diff options
Diffstat (limited to 'scripts/GeneratePublishReportPart1.py')
| -rw-r--r-- | scripts/GeneratePublishReportPart1.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/GeneratePublishReportPart1.py b/scripts/GeneratePublishReportPart1.py index d3eda80284..ef6cb330dc 100644 --- a/scripts/GeneratePublishReportPart1.py +++ b/scripts/GeneratePublishReportPart1.py @@ -85,6 +85,9 @@ content += """ if not prerelease: content += '<tr><td></td><td><a href="http://vaadin.com/api">Verify API version list updated</a></td></tr>' +# close GitHub milestone +content += "<tr><td></td><td><a href=\"https://github.com/vaadin/framework/milestones\">Close GitHub Milestone</a></td></tr>" + content += """ <tr><td></td><td><a href="http://{teamcityUrl}/viewLog.html?buildId={buildId}&buildTypeId={buildTypeId}&tab=dependencies"><h2>Start Post-Publish Release from dependencies tab</a></td></tr> </table> |