Skip to content

[INFRA] use new bids-maintenance GitHub account to take over automatic work#426

Merged
sappelhoff merged 1 commit intobids-standard:masterfrom
sappelhoff:auto
Feb 25, 2020
Merged

[INFRA] use new bids-maintenance GitHub account to take over automatic work#426
sappelhoff merged 1 commit intobids-standard:masterfrom
sappelhoff:auto

Conversation

@sappelhoff
Copy link
Copy Markdown
Member

closes #332

Letting our new @bids-maintenance bot user do the bot work. Relieving Franklin's account from the duty 😉

Hopefully the correct account will be attributed and linked in the GitHub user interface.

@sappelhoff sappelhoff merged commit 0ad248a into bids-standard:master Feb 25, 2020
@sappelhoff sappelhoff deleted the auto branch February 25, 2020 14:22
@sappelhoff
Copy link
Copy Markdown
Member Author

looking good:

image

@sappelhoff
Copy link
Copy Markdown
Member Author

sappelhoff commented Feb 25, 2020

then again, I see:

image

so it seems like @franklin-feingold's account is pushing the commit made by @bids-maintenance

Anybody has a clue why that is? I would expect @bids-maintenance to push its own commit.

Does it have something to do with CHANGE_TOKEN?

git push https://${CHANGE_TOKEN}@github.com/bids-standard/bids-specification.git master

@effigies
Copy link
Copy Markdown
Collaborator

@sappelhoff I created an auth token for @bids-maintenance and replaced Franklin's in the CircleCI settings. We'll see what happens on the next merge.

@sappelhoff
Copy link
Copy Markdown
Member Author

Cool, I have some questions so that I can solve this next time as well:

  1. I created an auth token for @bids-maintenance --> from within GitHub? Or within CircleCI?
  2. replaced Franklin's in the CircleCI settings --> could you give me a pointer where in the settings I can see the admins' tokens / replace them?

@effigies
Copy link
Copy Markdown
Collaborator

  1. GitHub: https://github.com/settings/tokens
  2. https://circleci.com/gh/bids-standard/bids-specification/edit#env-vars

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.

make a "bids-maintenance" GitHub user, and let it do the automatic work

2 participants