[jbosstools-issues] [JBoss JIRA] (JBIDE-23151) script creation of PRs by generic user
Nick Boldt (JIRA)
issues at jboss.org
Mon Sep 12 13:18:00 EDT 2016
Nick Boldt created JBIDE-23151:
----------------------------------
Summary: 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
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