[sage-devel] Re: Integration of Trac and Github

If you search the Trac database for users github/matsen and github/switzel and compare the results with open pull requests, the integration appears to have stopped working in the middle of 2015. On Wednesday, May 25, 2016 at 6:43:28 PM UTC-7, kcrisman wrote: > > > The developer's walkthrough >>

[sage-devel] Re: Integration of Trac and Github

> The developer's walkthrough > says in its > third paragraph: > > You can alternatively fork and create a pull request at github > which will automatically fetch your > code and open a ticket on o