Configure Martin repo auto-merge rules

[nyurik]

Currently, the main branch protection rules are:

• requires 1 approval
• requires status checks to pass (see below)

This is not flexible enough - we do not want to do a full CI rebuild if the pull request only modifies demo or docs. We currently exclude CI from building if it is only docs/demo/..., so we should somehow set up github to essentially "require all workflows that do trigger":

See also: stackoverflow question

martin/.github/workflows/ci.yml

Lines 11 to 17 in 8bf3bd0

	pull_request:
	branches: [main, v0.6]
	paths-ignore:
	- '**.md'
	- 'demo/**'
	- 'docs/**'
	- 'homebrew-formula/**'

Current settings

[nyurik]

From stackoverflow, apparently there is really no good solution, so we should probably just use paths-filter or similar.