footnotes WordPress Plugin
Currently we use GitHub for Bug Tracking and Release Planning.
https://wordpress.org/plugins/footnotes/
Please check the svn repo over there. We kind of hate double committing code and time. GitHub is the more advanced development platform, WordPress is the place of our Plugin. We develop where the Plugin lives.