[sage-devel] Re: redirecting docstrings

2018-03-02 Thread Ralf Stephan
I finally found https://trac.sagemath.org/ticket/22611 which explains things and helps. -- 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 an email to sage-devel+unsubscr...@go

Re: [sage-devel] Problem when building sage on cygwin - Error building package python2-2.7.14.p2

2018-03-02 Thread Erik Bray
Already done: https://trac.sagemath.org/ticket/24860 On Feb 27, 2018 22:10, "ערן אסף" wrote: > Great. Glad that I could be of assistance. > Should I open a ticket for this bug somewhere? > > 2018-02-27 19:11 GMT+02:00 Erik Bray : > >> On Tue, Feb 27, 2018 at 5:44 PM, Erik Bray wrote: >> > On Tu

[sage-devel] help needed for pushing to trac

2018-03-02 Thread Christian Stump
Hi, I recently changed my ssh key, and now wanted to push to trac for the first time since. I hopefully followed every relevant line in http://doc.sagemath.org/html/en/developer/trac.html 1. I copied my new ssh key and can see it via $ git trac config Trac xmlrpc URL: https://trac.sagemath.

Re: [sage-devel] help needed for pushing to trac

2018-03-02 Thread Erik Bray
Hi Christian, I think there was an issue related to how the GitHub logins worked. Please log out and log in again, re-upload your SSH key, and give it another try. Best, Erik On Fri, Mar 2, 2018 at 2:11 PM, Christian Stump wrote: > Hi, I recently changed my ssh key, and now wanted to push to tr

Re: [sage-devel] help needed for pushing to trac

2018-03-02 Thread Christian Stump
> I think there was an issue related to how the GitHub logins worked. > Please log out and log in again, re-upload your SSH key, and give it > another try. yes, works now -- thanks! -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsub

Re: [sage-devel] help needed for pushing to trac

2018-03-02 Thread Erik Bray
On Fri, Mar 2, 2018 at 4:25 PM, Christian Stump wrote: > >> I think there was an issue related to how the GitHub logins worked. >> Please log out and log in again, re-upload your SSH key, and give it >> another try. > > > yes, works now -- thanks! Great, sorry for the trouble. This is a new featu