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
ProofGen
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 ti
Hi David,
Going to github would be great. When do you think this will be possible?
P.
2012/9/14 David Aspinall :
> 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 t
> 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 (bu