[jbosstools-issues] [JBoss JIRA] (JBIDE-23151) script creation of PRs by generic user
Nick Boldt (JIRA)
issues at jboss.org
Mon Sep 12 13:19:00 EDT 2016
[ https://issues.jboss.org/browse/JBIDE-23151?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=13292102#comment-13292102 ]
Nick Boldt commented on JBIDE-23151:
------------------------------------
Steps to perform:
{code}
// 4. TODO: generate PR for Update http://download.jboss.org/jbosstools/neon/staging/updates/ and https://devstudio.redhat.com/10.0/staging/updates/
// 5. merge in IS content
// 6. TODO: generate PR for Release the latest staging site to ide-config.properties
{code}
> script creation of PRs by generic user
> --------------------------------------
>
> Key: JBIDE-23151
> URL: https://issues.jboss.org/browse/JBIDE-23151
> Project: Tools (JBoss Tools)
> Issue Type: Sub-task
> Components: build
> Affects Versions: 4.4.1.Final
> Reporter: Nick Boldt
> Assignee: Nick Boldt
> Fix For: 4.4.1.Final
>
>
> Need the ability to create, submit, and merge PRs automatically as a generic user, so that changes to filesystem on download.jboss.org & devstudio.redhat.com (filemgmt) can be done automatically.
> Could use rhds-docker-jenkins user or some other shared user.
> Will need assistance & approval from [~akazakov] in granting this user push rights on the two jbosstools-* and jbdevstudio-* repos.
--
This message was sent by Atlassian JIRA
(v6.4.11#64026)
More information about the jbosstools-issues
mailing list