+[2020-03-28T22:15:16Z]maxxenot that I worry about space :) github probably have 2348920354930953904534095340534545 terabytes of space (I mean they have much) +[2020-03-28T22:20:31Z]maxxeyeah, could pull from upstream in order to keep it updated +[2020-03-28T22:23:42Z]maxxewhich is best probably depends on if I plan to contribute often +[2020-03-28T22:42:42Z]maxxejayjo: hm when I thought of a bit wonder how much space they have, they must have much! :) +[2020-03-28T22:43:28Z]maxxewonder if my previous statement was insufficient
How do I install ubuntu CI dependencies on github?
+[2020-03-29T14:13:34Z]teuthi +[2020-03-29T14:13:44Z]teuthow can I see my merged prs? +[2020-03-29T14:14:08Z]teutI had merged 2 pr's with sympy last year. +[2020-03-29T14:14:22Z]teutNow I want to link this to my gsoc proposal +[2020-03-29T14:14:57Z]teutbut that time I did not know github and git and just deleted the repo due to frustation.