Riley Lynch
Riley Lynch
definitions.definitionnum seem to be intended as a serial number for ordering the definitions for a particular valsi and language. But it appears that sometimes they are set to the same...
It might be desirable to output the pull number when handling other triggers, but I wasn't sure what would be useful in the case of `check_run`, when multiple PRs might...