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

fixed auto-merge-bot #97

Merged

Conversation

Bullrich
Copy link
Contributor

@Bullrich Bullrich commented Nov 20, 2023

I confused env which is used for environment variables for environment which is the key word to fetch environment secrets when doing #94.

This will fix that mistake.

It is a very minor mistake, but I confused `env` which is used for environment variables for `environment` which is the key word to fetch environment secrets
@Bullrich Bullrich enabled auto-merge (squash) November 20, 2023 14:17
@Bullrich Bullrich merged commit eb5e3f3 into polkadot-fellows:main Nov 20, 2023
8 checks passed
@Bullrich Bullrich deleted the bullrich/fix-auto-merge-bot branch November 20, 2023 14:18
Bullrich added a commit that referenced this pull request Nov 22, 2023
When adapted the code from #88 I forgot to update the location of the
credentials, so it was using review-bot which can only enable auto-merge
but can not merge a ready to merge PR. Follow up to #97
Sophia-Gold pushed a commit to Sophia-Gold/polkadot-runtimes that referenced this pull request Nov 22, 2023
When adapted the code from polkadot-fellows#88 I forgot to update the location of the
credentials, so it was using review-bot which can only enable auto-merge
but can not merge a ready to merge PR. Follow up to polkadot-fellows#97
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.

3 participants