It's pretty straight forward if we are okay with creating a new bot account on github (something like scipp-bot). These actions require a personal access token (can't use the standard GITHUB_TOKEN) which can be from one of us or this new bot that goes around fixing things for us.
It's pretty straight forward if we are okay with creating a new bot account on github (something like
scipp-bot). These actions require a personal access token (can't use the standardGITHUB_TOKEN) which can be from one of us or this new bot that goes around fixing things for us.