Hi David,
Going to github would be great. When do you think this will be possible?
P.

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
> view:
>
> http://proofgeneral.inf.ed.ac.uk/trac/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:
>>
>> Hi,
>>
>> 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.
>>
>>
>> Bye,
>>
>> Hendrik
>> _______________________________________________
>> ProofGeneral-devel mailing list
>> ProofGeneral-devel@inf.ed.ac.uk
>> http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
>>
>
> _______________________________________________
> ProofGeneral-devel mailing list
> ProofGeneral-devel@inf.ed.ac.uk
> http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
>
> --
> The University of Edinburgh is a charitable body, registered in
> Scotland, with registration number SC005336.
>
_______________________________________________
ProofGeneral-devel mailing list
ProofGeneral-devel@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel

Reply via email to