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.2.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. Spoke with [~akazakov] today to discuss how to proceed: * new user "devstudio-release" for: jbdevstudio-website and jbosstools-downloads.jboss.org repos * in future might also fork jbosstools-website repo so that changes to products.yaml can be automated too * ideally, this would be a non-password (plaintext in config.xml = bad) authentication. github auth token? ssh key? * maybe run this in isolation on wonka? that way less people have access to the config.xml of the job * @Nick to explore getting more ssh keys for pushing to filemgmt.jboss.org * @Nick to create user & start generating PRs for changes to dl.jb.o and ds.rh.c