[jbosstools-issues] [JBoss JIRA] (JBIDE-23151) script creation of PRs by generic user

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.