> Going to github would be great. When do you think this will be possible?
As long as that doesn't come with a push to rely on github's features
that require using the web interface, I'd welcome that.
Gitorious would be a good alternative as well, which tends to suffer
less from those problems (but IIUC it doesn't come with a bug-tracker).
Of course, there's also Savannah (I guess it would have to be on
savannah.nongnu.org unless we can get all contributors to sign the
needed copyright paperwork).
> 2012/9/14 David Aspinall <david.aspin...@ed.ac.uk>:
>> Sorry (to all) for the problems with trac. The current instance will not be
>> fixed by local sysadmins. We have a migration route to a supported Trac
>> instance which means moving to svn, but an alternative would be to move to
>> an outsourced system such as github.
>> Meanwhile, I recommend simply ticking the "ticket details" on the timeline
>> there are not so many issues or comments that you won't be able to easily
>> pick out relevant ones from there. So it's still pull, but you can always
>> use the RSS feed at the bottom of the page...
>> - D.
>> On 14/09/12 14:11, Hendrik Tews wrote:
>>> how can I add my email address (which is different from coquser)
>>> to an existing bug report? Having to click all issues, only for
>>> checking if somebody has answered, is really not acceptable.
>>> ProofGeneral-devel mailing list
>> ProofGeneral-devel mailing list
>> The University of Edinburgh is a charitable body, registered in
>> Scotland, with registration number SC005336.
> ProofGeneral-devel mailing list
ProofGeneral-devel mailing list