On 2013-05-02, at 7:13 PM, Mikael mikael.rcv@gmail.com wrote:
2013/4/7 Marc Feeley feeley@iro.umontreal.ca Hello. I've done a "git merging" blitz this morning to integrate the patches that were submitted on Gambit's github issue tracker (https://github.com/feeley/gambit/issues). I'd like to thank Michel Alexandre Salim, Francis Filion, Pierre-Luc Morneau-Lépine, Joseph Wayne Norton, and Dimitris Vyzovitis for their contributions.
I'm getting to like the interface of the github issue tracker which I use for other projects as well, so please use it to post any issues you find with Gambit. It you want to contribute a patch, you can submit a pull request using the issue tracker.
So this means anything that used to go to Bugzilla should go to the Github issue tracker now, and, the Bugzilla is an archive for old things only?
Yes exactly. I wish there was a way to copy the bugs from the bugzilla system to the github issue tracker, even the closed bugs, so that we could keep an archive of all the bugs. But I don't have much time to invest in that now.
Marc