[ros-users] Closing issues only when fixes reach the release repository

Piyush piyushk at gmail.com
Tue Mar 5 21:33:44 UTC 2013

Hey folks,

It seems like issues on the ros repository on github are closed as
soon as a fix is pushed to source, but have not made it to the release
repository. Would it make more sense to tag them as fixed but close
the issue only once they've made it to release? It seems to be taking
me a long time to trace out whether an updated version of a package
(for instance catkin) has been released with a fix since the bug was



More information about the ros-users mailing list