commits from GHA bots don't trigger CircleCI jobs

[scott-huberty]

Noticed this most recently over at dc1c44f

Since a GitHub Actions bot (specifically our Pre-commit bot) doesn't have a CircleCI account (as expected), the CircleCI jobs will fail when the bot makes a commit.

It's not the end of the world and usually I'll just manually push an empty commit to re-trigger the CI's, but in some cases I have found this to be annoying (for example in #13558 I'm trying to help a new contributor work through the PR).

I wonder if there is some work around we can implement to do give the bot the necessary context to trigger the CircleCI jobs.

[larsoner]

I wonder if there is some work around we can implement to do give the bot the necessary context to trigger the CircleCI jobs.

That's the goal of this action:

mne-python/.github/workflows/autopush.yml

Lines 2 to 6 in a365496

	on: # yamllint disable-line rule:truthy
	push:
	branches:
	- dependabot/**
	- pre-commit-ci*

I can't remember if I tried getting it to work using pull_request_target (which always runs off the pull request target branch, which is usually main) or not. It definitely won't for pull_request because the secrets.MNE_BOT_TOKEN is not available there. If you're motivated to try it out, you could tinker in your own fork for a bit (after temporarily enabling GHA there, and adding your own personal token as a MNE_BOT_TOKEN secret again temporarily) to see if you can get it to work...