linux-raspberrypi5: 6.6.45 > 6.6.47 #15

	name: deploy

	on:
	push:
	branches:
	- '*'
	# Allows you to run this workflow manually from the Actions tab
	workflow_dispatch:

	jobs:
	build:
	runs-on: ubuntu-latest

	steps:
	# Checks-out your repository under $GITHUB_WORKSPACE
	- uses: actions/checkout@v3

	# Prepare git log message to avoid extra blank lines
	- name: Set env message
	run: \|
	GITREPO=`git remote show origin -n \| grep h.URL \| sed 's/Fetch URL: https:\/\/github.com\/crux-arm\///g'`
	GITMSG=`git log -1 --pretty=format:"%s"`
	echo "MESSAGE=$(echo "[$GITREPO ] $GITMSG")" >> $GITHUB_ENV

	# Send IRC message by bot
	- name: irc push
	uses: rectalogic/notify-irc@v1
	if: github.event_name == 'push' && !contains(github.event.head_commit.message, 'REPO')
	with:
	channel: "#crux-arm"
	server: "irc.libera.chat"
	nickname: crux-arm-bot
	message: ${{ env.MESSAGE }}

	- name: Update REPO file
	run: \|
	wget -P /tmp -q https://crux.nu/files/httpup-0.5.0.tar.xz
	tar -C /tmp -xf /tmp/httpup-0.5.0.tar.xz httpup-0.5.0/httpup-repgen
	/tmp/httpup-0.5.0/httpup-repgen
	git add REPO

	- name: Push to remote
	run: \|
	git config user.name "$(git log -n 1 --pretty=format:%an)"
	git config user.email "$(git log -n 1 --pretty=format:%ae)"
	bash -c "git commit -a -m '[auto] Update REPO file' && git push \|\| exit 0"

Provide feedback