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 alexeykazakov 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