plugin to check ticket numbers in deprecation warnings and comments

sagemath / sage-patchbot

Sage Patchbot

https://www.sagemath.org

Other

8 stars 17 forks source link

Open videlec opened 5 years ago

videlec commented 5 years ago

When a deprecation warning is created in a ticket it would be wise to check that the correct number is used. See ticket #26981 for an actual mistake.

fchapoton commented 4 years ago

I have added a new plugin. Not yet tested.