On Wed, Mar 14, 2018 at 8:36 AM Erik Bray wrote:
> On Wed, Mar 14, 2018 at 12:33 AM, Dima Pasechnik
> wrote:
> > Perhaps it's a silly suggestion, but what does prevent trac from using an
> > external git server, as opposed
> > to the internal one? Does it need to do git calls which are not possi
On Wed, Mar 14, 2018 at 12:33 AM, Dima Pasechnik wrote:
> Perhaps it's a silly suggestion, but what does prevent trac from using an
> external git server, as opposed
> to the internal one? Does it need to do git calls which are not possible to
> do remotely?
> If this is possible (perhaps there is
Perhaps it's a silly suggestion, but what does prevent trac from using an
external git server, as opposed
to the internal one? Does it need to do git calls which are not possible to
do remotely?
If this is possible (perhaps there is even a trac plugin for this?) then it
would be possible to use,
On Mar 2, 2018 01:00, "Erik Bray" wrote:
I'm not sure what "git trac config" does. If you've configured your SSH key
then there's nothing else to do but push branches. There's nothing to use a
username or password for.
Oh I see now. This is Sage's git extensions for creating tickets on Sage's
T
I'm not sure what "git trac config" does. If you've configured your SSH key
then there's nothing else to do but push branches. There's nothing to use a
username or password for.
On Mar 1, 2018 10:21, "Dima Pasechnik" wrote:
> AFAIK, github login only allows you to comment on tickets. Commit acce
AFAIK, github login only allows you to comment on tickets. Commit access to
trac git repo needs to be obtained in the old way.
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send
Hi,
I have been trying to set up git trac so that I can try to fix some bugs.
I used my github login to be able to use the trac server.
I have created an ssh key pair and uploaded the public ssh key in
preferences in the trac account.
However, when I use this command with my github username and p
On Wed, Feb 28, 2018 at 4:57 AM, kcrisman wrote:
>
>> This will make giving new users access much less hassle, since if they
>> have an existing GitHub account they can login with it in order to create
>> and comment on tickets. Manually registering users will no longer be
>> necessary except in
> This will make giving new users access much less hassle, since if they
> have an existing GitHub account they can login with it in order to create
> and comment on tickets. Manually registering users will no longer be
> necessary except in some cases (e.g. they don't have and don't want a
