Repository navigation

feat: support ingress subpaths #140

	---
Check warning on line 1 in .github/workflows/prevent-prs-to-main.yml View workflow run for this annotation GitHub Actions / Prevent external Pull Request to 'main' branch Workflow execution policy warning (evaluate mode) On November 2, 2026, GitHub will restrict `pull_request_target` on public repositories by default. To continue allowing the event trigger, configure an Actions policy. Learn more: https://gh.io/securely-using-pull_request_target#default-policy-for-pull_request_target
	name: Prevent external Pull Request to 'main' branch

	on:
	workflow_dispatch:
	inputs:
	logLevel:
	description: 'Log level'
	required: true
	default: 'warning'
	type: choice
	options:
	- info
	- warning
	- debug
	pull_request_target:
	types:
	- opened
	- reopened
	- synchronize
	- edited

	jobs:
	check-branches:
	runs-on: ubuntu-latest
	steps:
	- name: Check Pull Reques base and target branches
	run: \|
	if [ ${{ github.head_ref }} != "develop" ] && [ ${{ github.base_ref }} == "main" ]; then
	echo "Pull Requests to 'main' branch are only allowed from 'develop' branch."
	echo "You can make your Pull Requests to 'develop'."
	exit 1
	fi