: Daan Hoogland
> Sent: Wednesday, July 19, 2023 4:32 PM
> To: dev
> Subject: [DISCUS][PROPOSAL] enable Update Branch on github
>
> 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
+1
If possible, please include "Update with Rebase" option as well.
Thanks,
Vishesh
From: Daan Hoogland
Sent: Wednesday, July 19, 2023 4:32 PM
To: dev
Subject: [DISCUS][PROPOSAL] enable Update Branch on github
LS,
In guthub there is a feature that
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