> 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).
Stefan
> 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
_______________________________________________
ProofGeneral-devel mailing list
ProofGeneral-devel@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
