Going to github would be great. When do you think this will be possible?
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