DOC-5944 Allow server definitions in Gateway config with same host/port but different path #2567

	name: 'PR title check'
	on:
	pull_request:
	types: [opened, edited, reopened]

	jobs:
	check-pr-title:
	runs-on: ubuntu-latest
	steps:
	- uses: morrisoncole/[email protected]
	with:
	title-regex: '^((CORDA\|EG\|ENT\|INFRA\|CORE\|DOC\|ES)-\d+)(.*)'
	on-failed-regex-comment: "PR title failed to match regex -> `%regex%`"
	repo-token: "${{ secrets.GITHUB_TOKEN }}"

Provide feedback