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

[sappelhoff]

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]

looking good:

[sappelhoff]

then again, I see:

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?

bids-specification/.circleci/config.yml

Line 137 in 6bd2ad5

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

[effigies]

@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]

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]

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