Hi, having Redmine bug tracker and Github PR apart makes it unnecessarly complicated to follow/reference bugs and PR/fixes, or to ping people.
Wouldn't it be better to switch to Github issues tracker, wiki and such ? Cheers, Aurélien. ___________________________________________________________________________ darktable developer mailing list to unsubscribe send a mail to darktable-dev+unsubscr...@lists.darktable.org