Run indexer #120799

	name: Run indexer

	on:
	schedule:
	- cron: "/15 * * *"
	workflow_dispatch:
	branches: [ master ]

	permissions:
	contents: write

	jobs:
	build:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v3
	with:
	persist-credentials: false
	- name: Set up Python 3.8
	uses: actions/setup-python@v4
	with:
	python-version: 3.8
	- name: Create bash file for cloning
	run: \|
	make clonerepos.sh
	- name: Clone repos
	run: make clone
	- name: Run indexer
	run: make index
	- name: Commit files
	continue-on-error: true # No changes = Failure
	run: \|
	git config --local user.email "action@github.com"
	git config --local user.name "Indexer"
	cd index
	git add .
	git commit -m "Index update"
	- name: Push changes
	uses: ad-m/github-push-action@v0.6.0
	with:
	branch: ${{ github.ref }}
	github_token: ${{ secrets.GITHUB_TOKEN }}

Provide feedback