sagemath / sage-patchbot

Sage Patchbot
https://www.sagemath.org
Other
8 stars 17 forks source link

.github/workflows/run_patchbot.yml: Actually handle github.event.inputs.patchbot_ticket #156

Closed mkoeppe closed 2 years ago