镜像站点 · 本页由第三方 GitHub 只读镜像提供,非 GitHub 官方站点,不接受任何登录或凭据输入。前往 github.com
Skip to content

ansible: update for new jenkins-workspace machine - #1054

Merged
rvagg merged 1 commit into
nodejs:masterfrom
maclover7:jm-new-ip
Dec 31, 2017
Merged

rvagg merged 1 commit into
nodejs:masterfrom
maclover7:jm-new-ip

Conversation

@maclover7

Copy link
Copy Markdown
Contributor

cc @rvagg, this broke because of new jenkins workspace machine being added

@rvagg

rvagg commented Dec 31, 2017

Copy link
Copy Markdown
Member

yoik! thanks for picking this up

@rvagg
rvagg merged commit 6576a6f into nodejs:master Dec 31, 2017
@maclover7
maclover7 deleted the jm-new-ip branch December 31, 2017 22:40
@maclover7

Copy link
Copy Markdown
Contributor Author

@rvagg Would you be able to run the ansible job for github-bot? I don't think I have machine access

@rvagg

rvagg commented Dec 31, 2017

Copy link
Copy Markdown
Member

I just did it manually, I'm not confident about the script and haven't run this particular one before so I've edited the environment file and changed that last line and restarted the service. Could you confirm it's working?

@maclover7

Copy link
Copy Markdown
Contributor Author

@rvagg yep, looks to be working again. Thank you for your help!

joyeecheung pushed a commit that referenced this pull request Jan 2, 2018
Been doing a bunch of work on the bot related to pull request status
lights, and would be helpful to have elevated permissions. For example,
Ansible permissions were needed to roll out
#1054.

PR-URL: #1056
Reviewed-By: Joyee Cheung <joyeec9h3@gmail.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants