Add an `/updpkgsums` command
Closed this issue · 2 comments
dscho commented
Every once in a while a PR build fails due to a checksum that was not updated (like here).
It is totally okay for casual contributors not to know about such Pacman details, and we should be able to help them quickly and swiftly by issuing an /updpkgsums
workflow that basically does the following:
- determine the PR branch and repository
- make a shallow clone of it
- initialize a minimal subset of the Git for Windows SDK merely to run "Pacman stuff" much like the
open-pr
workflow does (this would make for a fine opportunity to turn that step into a composite GitHub Action, methinks, it can even be hosted in a subdirectory of the same repository) - run
updpkgsums
in all subdirectories touched by the PR - commit & push to the PR branch and repository
rimrul commented
- run
updpkgsums
in all subdirectories touched by the PR
It should also avoid updpkgsums
for certain packages, like the open-pr workflow does.