[jbosstools-issues] [JBoss JIRA] (JBIDE-23151) script creation of PRs by generic user
Nick Boldt (JIRA)
issues at jboss.org
Mon Sep 12 13:21: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 edited comment on JBIDE-23151 at 9/12/16 1:20 PM:
-------------------------------------------------------------
Steps to perform:
4. generate PR for updates to http://download.jboss.org/jbosstools/neon/staging/updates/ and https://devstudio.redhat.com/10.0/staging/updates/
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 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