search

sagemath / sage-patchbot

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

ticket/?raw does not include keywords #115

Open saraedum opened 7 years ago

saraedum commented 7 years ago

It would be nice to be able to prioritize tickets based on the keywords that are set. But the keywords are not included in the ticket list. An application of this is running patchbots during sage days where we would like to prioritize tickets with say the keyword "sd87".