Description of the problem
The /format and /test-gmt-dev slash commands added in #646 and #831 respectively seem to have stopped working like they used to, and probably for a while now to be honest. I think GitHub made some changes in regard to bot permissions some time ago (though I can't pin an exact date), and a lot of these tools with auto-commit functionality just broke.
To be specific:
- For the
/format command, an action is triggered and runs to completion, but no formatting commit actually happens. E.g.:
- The
/test-gmt-dev command, I think it does run (?), but you have to jump to the 'Actions' tab to see it run which is very inconvenient. From memory, I think there was another problem with how it wasn't testing the changes in the PR branch properly, but some rebased commit instead? E.g.:
So, we'll either need to update these convenience slash commands, or remove them.
Description of the problem
The
/formatand/test-gmt-devslash commands added in #646 and #831 respectively seem to have stopped working like they used to, and probably for a while now to be honest. I think GitHub made some changes in regard to bot permissions some time ago (though I can't pin an exact date), and a lot of these tools with auto-commit functionality just broke.To be specific:
/formatcommand, an action is triggered and runs to completion, but no formatting commit actually happens. E.g.:/test-gmt-devcommand, I think it does run (?), but you have to jump to the 'Actions' tab to see it run which is very inconvenient. From memory, I think there was another problem with how it wasn't testing the changes in the PR branch properly, but some rebased commit instead? E.g.:So, we'll either need to update these convenience slash commands, or remove them.