Sourcegraph campaign to change Docker Hub username in Circle CI configuration

update-circle-ci-docker-user.campaign.yaml

name: update-circle-ci-docker-user.campaign.yaml
description: Changes the Docker Hub username used for Circle CI

# Search for repositories containing a circle-ci.yml file with the old usename
on:
  - repositoriesMatchingQuery: mydockerhub-user file:circle-ci.[yaml|yml]

# In each repository
steps:
  # replace the old with the new username in the found files
  - run: |
      for file in "${{ join repository.search_result_paths " " }}";
      do
        sed -i 's/mydockerhub-user/ci-dockerhub-user/g;' ${file}
      done
    container: alpine:3

# Describe the changeset (e.g., GitHub pull request) you want for each repository.
changesetTemplate:
  title: Use new Docker Hub username in Circle CI config
  body: This change replaces the old Docker Hub user with the new, CI specific user account.
  branch: campaigns/update-ci-user # Push the commit to this branch.
  commit:
    message: Update Docker Hub user in CI
  published: false