Closed
Description
Problems with the current situation:
- PR have to be merged manually
- GitHub often incorrectly detects PR as not/mergeable
How could this be fixed:
- Try to merge the targeted branch into the update-from-template branch
- ❌ If this fails:
- create a PR (as currently is the case)
- ✔ If it works:
- search for all occurences of
template-placeholder
and fill in the current repo name - create a PR
- Auto merge the PR if all checks pass / no checks fail
- TODO: Check if checks are triggered in the first place
- Might require additional github action
- search for all occurences of