Issue #249: Switch phpstan to include phpstan.neon.dist (#627) #278

	name: Push Drainpipe Dev Package

	on:
	push:
	branches:
	- main
	tags:
	- 'v*'

	concurrency:
	group: drainpipe-dev
	cancel-in-progress: false

	permissions:
	contents: read

	jobs:
	Drainpipe-Dev:
	name: Push branch to drainpipe-dev
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4

	- name: Add drainpipe-dev deploy key in order to run git clone
	uses: webfactory/[email protected]
	with:
	ssh-private-key: ${{ secrets.DRAINPIPE_DEV_DEPLOY_KEY }}
	log-public-key: false

	# Commits made by the https://github.com/apps/lullabot-drainpipe application.
	# @see https://github.com/orgs/community/discussions/24664
	- name: Create git checkout of drainpipe-dev
	working-directory: drainpipe-dev
	run: \|
	git init
	git branch -m ${{ github.ref_name }}
	git remote add origin [email protected]:Lullabot/drainpipe-dev.git
	git fetch origin
	git reset --mixed origin/${{ github.ref_name }} \|\| git reset --mixed origin/main
	git config user.name "Lullabot-Drainpipe[bot]"
	git config user.email "157769597+Lullabot-Drainpipe[bot]@users.noreply.github.com"

	- name: Push branch to drainpipe-dev
	working-directory: drainpipe-dev
	run: \|
	git add -A
	git commit -m "$COMMIT_MESSAGE" --allow-empty
	git push origin ${{ github.ref_name }}
	env:
	# Workaround if the commit message contains quotes.
	COMMIT_MESSAGE: ${{ github.event.head_commit.message }}

	- name: Push tag to drainpipe-dev
	if: ${{ startsWith(github.ref, 'refs/tags/') }}
	working-directory: drainpipe-dev
	run: \|
	git tag ${{ github.ref_name }}
	git push origin ${{ github.ref_name }}

Provide feedback