Looks like all merged PRs after #3001 was merged and prior to #3025 are gone.
Activity
KhafraDev commentedon Apr 2, 2024
@mcollina @ronag
ronag commentedon Apr 2, 2024
I'm confused as to what has happened
ronag commentedon Apr 2, 2024
As far as I can tell the following are missing:
845c713
fa5bcb4
d3d24e2
9278de9
74bd88e
ad4a5e5
9b744a3
Lucky nothing that should affect our users.
chore(automerge): remove unnecessary actions:write permission (#3021)
mcollina commentedon Apr 2, 2024
I've limited force pushing
mcollina commentedon Apr 2, 2024
Done