+ [2020-03-28T22:15:16Z] maxxe not that I worry about space :) github probably have 2348920354930953904534095340534545 terabytes of space (I mean they have much)
+ [2020-03-28T22:20:31Z] maxxe yeah, could pull from upstream in order to keep it updated
+ [2020-03-28T22:23:42Z] maxxe which is best probably depends on if I plan to contribute often
+ [2020-03-28T22:42:42Z] maxxe jayjo: hm when I thought of a bit wonder how much space they have, they must have much! :)
+ [2020-03-28T22:43:28Z] maxxe wonder if my previous statement was insufficient

message no. 178654

Posted by maxxe in #github at 2020-03-28T22:04:00Z

after forking a repo in order to create a pull request it should be perfectly fine once it's merged to delete "my" fork (i.e. no need to take up unnecessary space on github)? if I want to contribute again, I can re-fork?
+ [2020-03-29T14:13:34Z] teut hi
+ [2020-03-29T14:13:44Z] teut how can I see my merged prs?
+ [2020-03-29T14:14:08Z] teut I had merged 2 pr's with sympy last year.
+ [2020-03-29T14:14:22Z] teut Now I want to link this to my gsoc proposal
+ [2020-03-29T14:14:57Z] teut but that time I did not know github and git and just deleted the repo due to frustation.