Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add jglick_bot to log-cli #1300

Merged
merged 1 commit into from
Oct 12, 2019
Merged

Add jglick_bot to log-cli #1300

merged 1 commit into from
Oct 12, 2019

Conversation

jglick
Copy link
Contributor

@jglick jglick commented Oct 12, 2019

Description

Adding a bot account for myself, to limit the possible damage from experimenting with automation of jenkinsci/log-cli-plugin#18.

Submitter checklist for changing permissions

Always

  • Add link to plugin/component Git repository in description above

For a newly hosted plugin only

  • Add link to resolved HOSTING issue in description above

For a new permissions file only

When adding new uploaders (this includes newly created permissions files)

Merge permission to GitHub repository

  • Check this if newly added person also needs to be given merge permission to the GitHub repo.

@daniel-beck daniel-beck merged commit bf89361 into jenkins-infra:master Oct 12, 2019
@jglick jglick deleted the patch-1 branch October 12, 2019 13:52
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.

None yet

2 participants