Commit 2024-05-13 05:55 ab1a7fbd

feat: add move-decls-driven action and shorter PR diff (#12844) Adding the label move-decls triggers an action that comments on the PR a guess of which declarations have been added/removed in the current PR. The expectation is that for a PR that just moves declarations around, the move-decls-reported diff will be (ideally) empty. In practice, since the script is text-based, this may not be the case, but it should still help focus the effort of the reviewers. As an example, you can see what the script would report for the current PR that fakes a modification of two declarations. Finally, you can run this locally using

./scripts/no_lost_declarations.sh short