mirror of
https://github.com/emilk/egui.git
synced 2026-07-10 00:37:27 +00:00
f3611e3e5a
## What
Fail all PRs that are opened from the master/main branch of the fork.
## Why
PR:s opened from the `master` branch cannot be collaborated on. That is,
we maintainers cannot push our own commits to it (e.g. to fix smaller
problems with it before merging).
## How
Untested code straight from Claude 3.7 😅