Please enable the new "Update Branch" button in Github repositories
There is a new feature in GH that lets you update a branch from a PR with a simple button, see:
https://github.blog/changelog/2022-02-03-more-ways-to-keep-your-pull-request-branch-up-to-date/
it would be great to enable this feature for all Eclipse Platform/pde/equinox/... repositories
FYI @vogella @akurtakov @aloskutov @mistria