Repository navigation

Release : dev → main (loguru #441 lots 2-3, concentration CI #463) #69

	# Garde-fou d'intégration : toute PR vers `main` doit venir de `dev`.
	#
	# Objectif : `main` reste la branche de livraison ; les features se
	# fusionnent d'abord dans `dev` (via PR dev), puis `dev` -> `main` (via
	# PR). Ce workflow echoue pour toute PR vers `main` dont la branche
	# source n'est pas `dev` -- il est rendu obligatoire par la protection
	# de branche de `main` (required status check), ce qui rend le passage
	# par `dev` effectivement obligatoire.
	name: Garde intégration (dev -> main)

	on:
	pull_request:
	branches: [main]

	permissions:
	contents: read

	jobs:
	garde-dev-vers-main:
	name: "Garde : PR vers main doit venir de dev"
	runs-on: ubuntu-latest
	steps:
	- name: Vérifier la branche source
	run: \|
	if [ "${{ github.head_ref }}" != "dev" ]; then
	echo "::error::Les PR vers main doivent venir de la branche dev (branche source detectee : ${{ github.head_ref }}). Fusionner d'abord la feature dans dev, puis ouvrir la PR dev -> main."
	exit 1
	fi
	echo "PR dev -> main : OK (${{ github.head_ref }} -> ${{ github.base_ref }})"