]
Nick Boldt commented on JBIDE-23151:
------------------------------------
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.