]
Nick Boldt edited comment on JBIDE-23151 at 9/12/16 1:20 PM:
-------------------------------------------------------------
Steps to perform:
4. generate PR for updates to
5. merge in IS content (run a script. No github PR needed)
6. generate PR for Release the latest staging site to ide-config.properties
was (Author: nickboldt):
Steps to perform:
{code}
// 4. TODO: generate PR for Update
// 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.