Hi David, Going to github would be great. When do you think this will be possible? P.
2012/9/14 David Aspinall <[email protected]>: > 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 >> [email protected] >> http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel >> > > _______________________________________________ > ProofGeneral-devel mailing list > [email protected] > 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 [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
