Looks good to me
Potentially, we do loose how the ticket was closed (fixed, duplicate...), more likely for the trac backend than for github.
That might be something we want to document somewhere
Pull-Request has been merged by cverna
The lost of reason for closing the issue has been raised in #18 I am merging this and will provide a fix for #18.
Thanks