[gambit-list] Github issue tracking
Marc Feeley
feeley at iro.umontreal.ca
Thu May 2 19:50:15 EDT 2013
On 2013-05-02, at 7:13 PM, Mikael <mikael.rcv at gmail.com> wrote:
>
>
> 2013/4/7 Marc Feeley <feeley at 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
More information about the Gambit-list
mailing list