LS, In guthub there is a feature that allows you to update your branch with the target branch [1] . As for for instance for lint checking and out of security concerns we don't run github actions by default on the target branch, it is a convenience to regularly update PRs with the target with this simple functionality.
So my proposal is to ask infra to enable this: [image: image.png] [1] https://github.blog/changelog/2022-02-03-more-ways-to-keep-your-pull-request-branch-up-to-date/ any objections or concerns anyone can think of? -- Daan
